diff options
Diffstat (limited to 'compiler/Driver.ml')
-rw-r--r-- | compiler/Driver.ml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/compiler/Driver.ml b/compiler/Driver.ml index 476907c1..12a6f075 100644 --- a/compiler/Driver.ml +++ b/compiler/Driver.ml @@ -219,11 +219,6 @@ let () = (* Test the unit functions with the concrete interpreter *) if !test_unit_functions then I.Test.test_unit_functions m; - (* Evaluate the symbolic interpreter on the functions, ignoring the - * functions which contain loops - TODO: remove *) - let synthesize = true in - I.Test.test_functions_symbolic synthesize m; - (* Translate the functions *) Translate.translate_crate filename dest_dir m; |