diff options
| author | Son Ho | 2022-01-06 14:43:35 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-06 14:43:35 +0100 |
| commit | f2fb0dc39cfa9aef2b16963d3f8a270ec45bae5e (patch) | |
| tree | 652fbd0e923a1cae5d6516f4ce9cadd9177c56db /src/main.ml | |
| parent | 3cadf01e5b67af4ec91f2de3c32e119cd90c678c (diff) | |
Make good progress on implementing utilities to test symbolic execution
Diffstat (limited to 'src/main.ml')
| -rw-r--r-- | src/main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main.ml b/src/main.ml index 2d2518c7..b4537c3a 100644 --- a/src/main.ml +++ b/src/main.ml @@ -46,4 +46,4 @@ let () = log#ldebug (lazy ("\n" ^ Print.Module.module_to_string m ^ "\n")); (* Test the unit functions *) - I.Test.test_all_unit_functions m.types m.functions + I.Test.test_unit_functions m.types m.functions |