[Eva] Results: removes function [fold_callstacks] and [iter_callstacks].
Nonterm: uses List.iter and Eva.Results.callstacks instead of iter_callstacks.
Showing
- src/plugins/nonterm/nonterm_run.ml 2 additions, 2 deletionssrc/plugins/nonterm/nonterm_run.ml
- src/plugins/value/Eva.mli 0 additions, 6 deletionssrc/plugins/value/Eva.mli
- src/plugins/value/utils/results.ml 0 additions, 28 deletionssrc/plugins/value/utils/results.ml
- src/plugins/value/utils/results.mli 0 additions, 6 deletionssrc/plugins/value/utils/results.mli
Loading
Please register or sign in to comment