diff options
| author | Gabriel Kerneis | 2013-10-14 13:37:07 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-10-14 13:37:07 +0100 |
| commit | 14d544935fc87df2b258cd4c9ed5acede44fe1f3 (patch) | |
| tree | 4d4ddf7927acf2fd276068ea21d6395cfba99bc5 /src/lem_interp/run_interp.ml | |
| parent | 5c9abc9e9b56640270aa3b50560ccc87d5b765e3 (diff) | |
Run main() to execute tests
Tests do not pass because of weird pattern-matching errors
in the interpreter.
Diffstat (limited to 'src/lem_interp/run_interp.ml')
| -rw-r--r-- | src/lem_interp/run_interp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml index d28cb0d6..ba3557bf 100644 --- a/src/lem_interp/run_interp.ml +++ b/src/lem_interp/run_interp.ml @@ -47,7 +47,7 @@ let act_to_string = function | Write_mem _ -> "write_mem" ;; -let run (name, test) = match interp test (E_block []) with +let run (name, test) = match interp test (E_app(E_id(Id "main"), [E_lit L_unit])) with | Value v -> eprintf "%s: returned %s\n" name (val_to_string v) | Action (a, s) -> eprintf "%s: suspended on action %s\n" name (act_to_string a) | Error e -> eprintf "%s: error: %s\n" name e |