Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

C

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

Snippets Groups Projects

da06bb7e

Commit da06bb7e authored 9 years ago by François Bobot

Downloads
- Patches
- Plain Diff

Use the simpler interface for the tests

   except for arith which is not yet converted

parent 32928298

No related branches found

No related tags found

Loading

Changes 8

Hide whitespace changes

Inline Side-by-side

Showing

src/scheduler.ml 0 additions, 16 deletions

src/scheduler.ml
src/variable.ml 1 addition, 1 deletion

src/variable.ml
src/variable.mli 1 addition, 1 deletion

src/variable.mli
tests/tests_arith.ml 49 additions, 32 deletions

tests/tests_arith.ml
tests/tests_arith_uninterp.ml 23 additions, 19 deletions

tests/tests_arith_uninterp.ml
tests/tests_bool.ml 21 additions, 43 deletions

tests/tests_bool.ml
tests/tests_lib.ml 11 additions, 0 deletions

tests/tests_lib.ml
tests/tests_uf.ml 156 additions, 190 deletions

tests/tests_uf.ml

with 262 additions and 302 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