Module Mlang.Test_interpreter

check_test test_file optimize code_coverage value_sort round_ops runs the BIR interpreter using float kind value_sort and rounding operations round_ops on a given test_file. optimize and code_coverage are flags that trigger respectively compiler optimizations and code coverage instrumentation for the interpreter run.

val check_all_tests : Bir.program -> string -> bool -> Cli.value_sort -> Cli.round_ops -> ( string -> bool ) -> unit

Similar to check_test but tests a whole folder full of test files