diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-12-03 12:28:36 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-12-03 12:28:36 +0100 |
| commit | 9c494af6e1bc4f89e7842085d266fb386d923729 (patch) | |
| tree | cea3a68290b52ac27f3495e8159196f15882d581 /scripts/smt2-bmc/async.sh | |
| parent | 54a8e4b311e207fa1d07226627dbf9dea6c13836 (diff) | |
| download | picorv32-9c494af6e1bc4f89e7842085d266fb386d923729.tar.gz picorv32-9c494af6e1bc4f89e7842085d266fb386d923729.zip | |
Removed old scripts/smt2-bmc/
Diffstat (limited to 'scripts/smt2-bmc/async.sh')
| -rw-r--r-- | scripts/smt2-bmc/async.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/scripts/smt2-bmc/async.sh b/scripts/smt2-bmc/async.sh deleted file mode 100644 index 2149c05..0000000 --- a/scripts/smt2-bmc/async.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/bash -set -ex -yosys -qv1 async.ys -time python3 async.py |