diff options
author | John Hodge <tpg@mutabah.net> | 2018-05-19 12:29:44 +0800 |
---|---|---|
committer | John Hodge <tpg@mutabah.net> | 2018-05-19 12:29:44 +0800 |
commit | a96b446e80f109138e2a639ec94222017af0b9b1 (patch) | |
tree | 36325cf64577c9de69fad493031460ecaabb1c6d /test_smiri.sh | |
parent | ae177706bf0b4b2ff05e9102d1403c73799756b0 (diff) | |
download | mrust-a96b446e80f109138e2a639ec94222017af0b9b1.tar.gz |
Standalone MIRI - Use some more helpers
Diffstat (limited to 'test_smiri.sh')
-rwxr-xr-x | test_smiri.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test_smiri.sh b/test_smiri.sh index 5a7de4e4..0dbad3fa 100755 --- a/test_smiri.sh +++ b/test_smiri.sh @@ -2,5 +2,7 @@ set -e cd $(dirname $0) make -f minicargo.mk MMIR=1 LIBS +echo "--- mrustc -o output-mmir/hello" ./bin/mrustc rustc-1.19.0-src/src/test/run-pass/hello.rs -O -C codegen-type=monomir -o output-mmir/hello -L output-mmir/ > output-mmir/hello_dbg.txt -./tools/bin/standalone_miri output-mmir/hello.mir --logfile smiri_hello.log +echo "--- standalone_miri output-mmir/hello.mir" +time ./tools/bin/standalone_miri output-mmir/hello.mir --logfile smiri_hello.log |