diff options
author | Son Ho | 2022-01-27 09:31:00 +0100 |
---|---|---|
committer | Son Ho | 2022-01-27 09:31:00 +0100 |
commit | e8643f79704e06a6211bf4b594255ed70026a5dc (patch) | |
tree | 87a30b61944d06b9ee20476f449e38b21aef1041 | |
parent | e94a396bceb515b951fc22beb37252ffce34bef6 (diff) |
Start testing translation to pure
-rw-r--r-- | src/main.ml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/main.ml b/src/main.ml index 571a3a54..aca1978c 100644 --- a/src/main.ml +++ b/src/main.ml @@ -7,7 +7,6 @@ module I = Interpreter module EL = Easy_logging.Logging module TA = TypesAnalysis module P = Pure -open Translate (* This is necessary to have a backtrace when raising exceptions - for some * reason, the -g option doesn't work. @@ -74,6 +73,11 @@ let () = (* Test the unit functions with the concrete interpreter *) I.Test.test_unit_functions config m; - (* Evaluate the symbolic interpreter on the functions *) + (* Evaluate the symbolic interpreter on the functions - TODO: remove *) let synthesize = true in - I.Test.test_functions_symbolic config synthesize m + I.Test.test_functions_symbolic config synthesize m; + + (* Translate the functions *) + let _ = Translate.translate_module_to_pure config m in + + () |