Deactivate by default print-success
Showing
- colibri2/bin/options.ml 2 additions, 7 deletionscolibri2/bin/options.ml
- colibri2/solver/input.ml 27 additions, 15 deletionscolibri2/solver/input.ml
- colibri2/tests/generate_tests/generate_dune_tests.ml 1 addition, 3 deletionscolibri2/tests/generate_tests/generate_dune_tests.ml
- colibri2/tests/solve/all/sat/dune.inc 8 additions, 8 deletionscolibri2/tests/solve/all/sat/dune.inc
- colibri2/tests/solve/all/unknown/dune.inc 2 additions, 2 deletionscolibri2/tests/solve/all/unknown/dune.inc
- colibri2/tests/solve/all/unsat/dune.inc 38 additions, 38 deletionscolibri2/tests/solve/all/unsat/dune.inc
- colibri2/tests/solve/colibri/sat/dune.inc 544 additions, 544 deletionscolibri2/tests/solve/colibri/sat/dune.inc
- colibri2/tests/solve/dimacs/sat/dune.inc 22 additions, 22 deletionscolibri2/tests/solve/dimacs/sat/dune.inc
- colibri2/tests/solve/dimacs/unsat/dune.inc 12 additions, 12 deletionscolibri2/tests/solve/dimacs/unsat/dune.inc
- colibri2/tests/solve/models/dune.inc 4 additions, 4 deletionscolibri2/tests/solve/models/dune.inc
- colibri2/tests/solve/smt_adt/sat/dune.inc 14 additions, 14 deletionscolibri2/tests/solve/smt_adt/sat/dune.inc
- colibri2/tests/solve/smt_adt/unsat/dune.inc 18 additions, 18 deletionscolibri2/tests/solve/smt_adt/unsat/dune.inc
- colibri2/tests/solve/smt_bv/sat/dune.inc 4 additions, 4 deletionscolibri2/tests/solve/smt_bv/sat/dune.inc
- colibri2/tests/solve/smt_fp/dune.inc 2 additions, 2 deletionscolibri2/tests/solve/smt_fp/dune.inc
- colibri2/tests/solve/smt_fp/sat/dune.inc 30 additions, 30 deletionscolibri2/tests/solve/smt_fp/sat/dune.inc
- colibri2/tests/solve/smt_fp/unsat/dune.inc 8 additions, 8 deletionscolibri2/tests/solve/smt_fp/unsat/dune.inc
- colibri2/tests/solve/smt_lra/sat/dune.inc 68 additions, 68 deletionscolibri2/tests/solve/smt_lra/sat/dune.inc
- colibri2/tests/solve/smt_lra/unsat/dune.inc 22 additions, 22 deletionscolibri2/tests/solve/smt_lra/unsat/dune.inc
- colibri2/tests/solve/smt_nra/sat/dune.inc 16 additions, 16 deletionscolibri2/tests/solve/smt_nra/sat/dune.inc
- colibri2/tests/solve/smt_nra/unsat/dune.inc 28 additions, 28 deletionscolibri2/tests/solve/smt_nra/unsat/dune.inc
Loading
Please register or sign in to comment