mirror of
https://github.com/CatalaLang/catala.git
synced 2024-09-19 00:15:39 +03:00
12 lines
300 B
OCaml
12 lines
300 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; FIXME *)
|
|
] );
|
|
]
|