diff options
| author | Son Ho | 2022-01-06 14:48:32 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-06 14:48:32 +0100 |
| commit | ec40683d2462ae15c1d0e68dbf8c6e14825b9cef (patch) | |
| tree | 1ca6e6bc22eb003b20e605f69b53e5e35ebdb9ec /src/main.ml | |
| parent | f2fb0dc39cfa9aef2b16963d3f8a270ec45bae5e (diff) | |
Implement tests for the symbolic interpreter
Diffstat (limited to '')
| -rw-r--r-- | src/main.ml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/main.ml b/src/main.ml index b4537c3a..63f15c85 100644 --- a/src/main.ml +++ b/src/main.ml @@ -45,5 +45,8 @@ let () = (* Print the module *) log#ldebug (lazy ("\n" ^ Print.Module.module_to_string m ^ "\n")); - (* Test the unit functions *) - I.Test.test_unit_functions m.types m.functions + (* Test the unit functions with the concrete interpreter *) + I.Test.test_unit_functions m.types m.functions; + + (* Evaluate the symbolic interpreter on the functions *) + I.Test.test_symbolic_functions m.types m.functions |