[CI] Change tests time limit to 60s
Showing
- src_colibri2/tests/generate_tests/generate_dune_tests.ml 1 addition, 3 deletionssrc_colibri2/tests/generate_tests/generate_dune_tests.ml
- src_colibri2/tests/solve/all/sat/dune.inc 6 additions, 6 deletionssrc_colibri2/tests/solve/all/sat/dune.inc
- src_colibri2/tests/solve/all/unsat/dune.inc 32 additions, 32 deletionssrc_colibri2/tests/solve/all/unsat/dune.inc
- src_colibri2/tests/solve/colibri/sat/dune.inc 544 additions, 544 deletionssrc_colibri2/tests/solve/colibri/sat/dune.inc
- src_colibri2/tests/solve/dimacs/sat/dune.inc 22 additions, 22 deletionssrc_colibri2/tests/solve/dimacs/sat/dune.inc
- src_colibri2/tests/solve/dimacs/unsat/dune.inc 12 additions, 12 deletionssrc_colibri2/tests/solve/dimacs/unsat/dune.inc
- src_colibri2/tests/solve/models/dune.inc 4 additions, 4 deletionssrc_colibri2/tests/solve/models/dune.inc
- src_colibri2/tests/solve/smt_adt/sat/dune.inc 14 additions, 14 deletionssrc_colibri2/tests/solve/smt_adt/sat/dune.inc
- src_colibri2/tests/solve/smt_adt/unsat/dune.inc 18 additions, 18 deletionssrc_colibri2/tests/solve/smt_adt/unsat/dune.inc
- src_colibri2/tests/solve/smt_bv/sat/dune.inc 4 additions, 4 deletionssrc_colibri2/tests/solve/smt_bv/sat/dune.inc
- src_colibri2/tests/solve/smt_fp/dune.inc 2 additions, 2 deletionssrc_colibri2/tests/solve/smt_fp/dune.inc
- src_colibri2/tests/solve/smt_fp/sat/dune.inc 30 additions, 30 deletionssrc_colibri2/tests/solve/smt_fp/sat/dune.inc
- src_colibri2/tests/solve/smt_fp/unsat/dune.inc 8 additions, 8 deletionssrc_colibri2/tests/solve/smt_fp/unsat/dune.inc
- src_colibri2/tests/solve/smt_lra/sat/dune.inc 68 additions, 68 deletionssrc_colibri2/tests/solve/smt_lra/sat/dune.inc
- src_colibri2/tests/solve/smt_lra/unsat/dune.inc 22 additions, 22 deletionssrc_colibri2/tests/solve/smt_lra/unsat/dune.inc
- src_colibri2/tests/solve/smt_nra/sat/dune.inc 16 additions, 16 deletionssrc_colibri2/tests/solve/smt_nra/sat/dune.inc
- src_colibri2/tests/solve/smt_nra/unsat/dune.inc 28 additions, 28 deletionssrc_colibri2/tests/solve/smt_nra/unsat/dune.inc
- src_colibri2/tests/solve/smt_quant/dune.inc 8 additions, 8 deletionssrc_colibri2/tests/solve/smt_quant/dune.inc
- src_colibri2/tests/solve/smt_quant/sat/dune.inc 2 additions, 2 deletionssrc_colibri2/tests/solve/smt_quant/sat/dune.inc
- src_colibri2/tests/solve/smt_quant/unsat/dune.inc 22 additions, 22 deletionssrc_colibri2/tests/solve/smt_quant/unsat/dune.inc
Loading
Please register or sign in to comment