mirror of
https://github.com/CatalaLang/catala.git
synced 2024-09-19 16:28:12 +03:00
11 lines
275 B
OCaml
11 lines
275 B
OCaml
let () =
|
|
let open Alcotest in
|
|
run "Optimizations"
|
|
[
|
|
( "Iota-reduction",
|
|
[
|
|
test_case "#1" `Quick Shared_ast.Optimizations.test_iota_reduction_1;
|
|
test_case "#2" `Quick Shared_ast.Optimizations.test_iota_reduction_2;
|
|
] );
|
|
]
|