Benjamin Jorge 4b373538ee Fix API examples

2025-11-24 13:16:22 +01:00

..

test-api-clone.stdout

Resolve "Add injectivity for type invariant"

2024-01-31 13:02:13 +00:00

test-api-counterexample.stdout

list.Distinct using a recursive definition

2025-05-14 17:32:28 +02: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

Fix API examples

2025-11-24 13:16:22 +01:00

test-api-logic.stdout

add a meta to mark a symbol as never removed by remove_unused*

2023-06-15 15:18:48 +00:00

test-api-mlw_expr.stdout

add a meta to mark a symbol as never removed by remove_unused*

2023-06-15 15:18:48 +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

improved Ptree helpers

2024-10-30 19:38:19 +01:00

test-api-transform.stdout

use same oracle for both byte and opt versions

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