why3/tests at 26.2 - why3

add_list

…

computation

…

demo-itp

fix sessions

2021-06-25 10:26:57 +02:00

example-add

…

infer

remove redundant tests

2020-08-31 15:01:30 +02:00

jessie

…

label

…

old

…

PGCD

fix sessions

2021-06-25 10:26:57 +02:00

test_args_parsing

…

test_compute

fix sessions

2021-06-25 10:26:57 +02:00

test_itp

fix sessions

2021-06-25 10:26:57 +02:00

test_merge

fix sessions

2021-06-25 10:26:57 +02:00

test_smoke

fix sessions

2021-06-25 10:26:57 +02:00

test-ind

…

test-settheory

…

test-shape

…

test-smoke-detector

…

add_list.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

array_eq.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

bug-transf.why

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

computation.why

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

course2.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

demo-itp.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

dubious_axioms.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

example-add.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

extract_ghost.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

label.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

multiassign.mlw

…

my_cosine.c

…

my_cosine.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

old.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

PGCD.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

SimpleDBPath.why

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

SimpleDBPathSansListes.why

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

sort++.py

moved micro-C/Python examples from tests/ to examples/

2021-02-05 20:01:48 +01:00

sum_list00.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test_args_parsing.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test_argument.why

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test_argument.whyitp

…

test_compute.why

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test_exec.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test_foreach.mlw

Apply suggestion to tests/test_foreach.mlw

2020-02-11 11:59:57 +01:00

test_ghost.mlw

…

test_itp.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test_loc.why

…

test_merge.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test_ne.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test_range.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test_rewrite.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test_smoke.mlw

Ressurect 'smoke detection' feature of why3replay

2018-06-18 14:16:45 +02:00

test_theory_expl.why

…

test_tptp.ml

Switch to zarith (fix #298 ).

2024-11-08 22:05:42 +01:00

test-and.why

…

test-bobot.why

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test-claude.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test-claude.why

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test-div-cvc3.why

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test-eval.why

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test-gappa2.why

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test-ghost.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test-ind.why

…

test-literals.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test-match.why

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test-poly.why

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test-polyrec.why

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test-settheory.why

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test-shape.why

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test-smoke-detector.why

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test-zenon.why

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

test.py

micro-Python: added by and so connectives

2022-11-14 14:40:52 +01:00

tests-boolean.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

tests-uint32.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00