BONNOT Paul 81a74dd140 Add a constructor for epsilon-terms in Ptree API ...

These can be printed and reparsed as S-expressions, but
cannot be parsed from a file in concrete WhyML syntax

2023-05-15 09:52:03 +00:00

..

test-api-clone.stdout

Avoid declaring as unused variables that are already unused.

2022-11-17 08:19:42 +01:00

test-api-counterexample.stdout

Add a constructor for epsilon-terms in Ptree API

2023-05-15 09:52:03 +00:00

test-api-create_session.stdout

use same oracle for both byte and opt versions

2020-03-31 20:07:38 +02:00

test-api-epsilon.stdout

Add a constructor for epsilon-terms in Ptree API

2023-05-15 09:52:03 +00:00

test-api-logic.stdout

Add a constructor for epsilon-terms in Ptree API

2023-05-15 09:52:03 +00:00

test-api-mlw_expr.stdout

Add a constructor for epsilon-terms in Ptree API

2023-05-15 09:52:03 +00:00

test-api-mlw_tree_infer_invs.stdout

fix bench for infer

2021-07-15 10:14:39 +02:00

test-api-mlw_tree.stdout

Add a constructor for epsilon-terms in Ptree API

2023-05-15 09:52:03 +00:00

test-api-transform.stdout

use same oracle for both byte and opt versions

2020-03-31 20:07:38 +02:00