diff options
| author | Brian Campbell | 2018-03-14 15:05:59 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-03-14 15:05:59 +0000 |
| commit | 1c1f330947fad0a6aa010759bd994fe399ca3923 (patch) | |
| tree | 223defcd687e4501a27dd8ecbffd2f1551862736 /test/mono/run_tests.sh | |
| parent | 00a7076624011f76b5d8dfc41dc8072658a66739 (diff) | |
Update mono tests
Diffstat (limited to 'test/mono/run_tests.sh')
| -rwxr-xr-x | test/mono/run_tests.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/mono/run_tests.sh b/test/mono/run_tests.sh index 7a98dc1d..ff61b14d 100755 --- a/test/mono/run_tests.sh +++ b/test/mono/run_tests.sh @@ -83,8 +83,8 @@ do cd "$OUTPUTDIR" if ocamlfind ocamlc -linkpkg -package zarith -package lem \ sail_values.ml sail_operators.ml \ - sail_operators_mwords.ml sail_instr_kinds.ml \ - prompt_monad.ml prompt.ml state_monad.ml state.ml \ + sail_instr_kinds.ml prompt_monad.ml prompt.ml \ + sail_operators_mwords.ml state_monad.ml state.ml \ test_extra.ml out_types.ml out.ml ../test.ml \ -o test &>>"$DIR/log" then |