Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

C

colibrics
- Activity
- Members
- Labels
- Terraform modules
- Model experiments

Snippets Groups Projects

79b56fe5

Commit 79b56fe5 authored 4 years ago by François Bobot

Downloads
- Patches
- Plain Diff

Add tests for UF and simplify synTerm

parent 966b897e

No related branches found

No related tags found

No related merge requests found

Changes 13

Hide whitespace changes

Inline Side-by-side

Showing

src_colibri2/core/synTerm.ml 17 additions, 25 deletions

src_colibri2/core/synTerm.ml
src_colibri2/core/synTerm.mli 1 addition, 8 deletions

src_colibri2/core/synTerm.mli
src_colibri2/solver/scheduler.ml 78 additions, 100 deletions

src_colibri2/solver/scheduler.ml
src_colibri2/tests/solve/smt_uf/sat/dune 8 additions, 0 deletions

src_colibri2/tests/solve/smt_uf/sat/dune
src_colibri2/tests/solve/smt_uf/sat/dune.inc 3 additions, 0 deletions

src_colibri2/tests/solve/smt_uf/sat/dune.inc
src_colibri2/tests/solve/smt_uf/unsat/dune 8 additions, 0 deletions

src_colibri2/tests/solve/smt_uf/unsat/dune
src_colibri2/tests/solve/smt_uf/unsat/dune.inc 21 additions, 0 deletions

src_colibri2/tests/solve/smt_uf/unsat/dune.inc
src_colibri2/tests/tests_uf.ml 71 additions, 70 deletions

src_colibri2/tests/tests_uf.ml
src_colibri2/theories/LRA/LRA.ml 21 additions, 21 deletions

src_colibri2/theories/LRA/LRA.ml
src_colibri2/theories/bool/boolean.ml 31 additions, 27 deletions

src_colibri2/theories/bool/boolean.ml
src_colibri2/theories/bool/equality.ml 12 additions, 6 deletions

src_colibri2/theories/bool/equality.ml
src_colibri2/theories/bool/uninterp.ml 6 additions, 7 deletions

src_colibri2/theories/bool/uninterp.ml
src_colibri2/theories/bool/uninterp.mli 5 additions, 5 deletions

src_colibri2/theories/bool/uninterp.mli

with 282 additions and 269 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment