diff options
Diffstat (limited to 'aarch64')
| -rwxr-xr-x | aarch64/mono/demo/mk | 2 | ||||
| -rwxr-xr-x | aarch64/mono/demo/mk.hol | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/aarch64/mono/demo/mk b/aarch64/mono/demo/mk index 64abea6f..b7513edd 100755 --- a/aarch64/mono/demo/mk +++ b/aarch64/mono/demo/mk @@ -1,6 +1,6 @@ #!/bin/bash set -ex -../../../sail ../../prelude.sail ../mono_rewrites.sail \ +../../../sail ../../prelude.sail ../../no_devices.sail ../mono_rewrites.sail \ aarch64_no_vector/spec.sail aarch64_no_vector/decode_start.sail aarch64_no_vector/decode.sail aarch64_no_vector/decode_end.sail \ -no_lexp_bounds_check -memo_z3 -undefined_gen \ -auto_mono -mono_rewrites -dall_split_errors -dmono_continue \ diff --git a/aarch64/mono/demo/mk.hol b/aarch64/mono/demo/mk.hol index ac20717f..cd9f84fc 100755 --- a/aarch64/mono/demo/mk.hol +++ b/aarch64/mono/demo/mk.hol @@ -1,6 +1,6 @@ #!/bin/bash set -ex -../../../sail ../../prelude.sail ../mono_rewrites.sail \ +../../../sail ../../prelude.sail ../../no_devices.sail ../mono_rewrites.sail \ aarch64_no_vector/spec.sail aarch64_no_vector/decode_start.sail aarch64_no_vector/decode.sail aarch64_no_vector/decode_end.sail \ -no_lexp_bounds_check -memo_z3 -undefined_gen \ -auto_mono -mono_rewrites -dall_split_errors -dmono_continue \ |