diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-08-15 10:50:27 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-08-15 10:50:27 +0200 |
| commit | ec0891326aee1334bce4bb096e7521a3907d4bdc (patch) | |
| tree | bd11ae7bde286533ba4e0c62951d0c2446dc488b /scripts/smt2-bmc/async.sh | |
| parent | b28e82cb81ae81f648a14a930de9373ed9583e67 (diff) | |
| download | picorv32-ec0891326aee1334bce4bb096e7521a3907d4bdc.tar.gz picorv32-ec0891326aee1334bce4bb096e7521a3907d4bdc.zip | |
Renamed scripts/smt2-bmc/mem_equiv to .../async
Diffstat (limited to 'scripts/smt2-bmc/async.sh')
| -rw-r--r-- | scripts/smt2-bmc/async.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/smt2-bmc/async.sh b/scripts/smt2-bmc/async.sh new file mode 100644 index 0000000..2149c05 --- /dev/null +++ b/scripts/smt2-bmc/async.sh @@ -0,0 +1,4 @@ +#!/bin/bash +set -ex +yosys -qv1 async.ys +time python3 async.py |