mirror of
https://github.com/YosysHQ/sby.git
synced 2025-09-03 10:08:17 +00:00
Don't use -f for intertask tests...
... if we expect the database to still contain previous runs. Use `rm -rf` to clear directories by hand instead.
This commit is contained in:
parent
a6496d646f
commit
7c5c96f5ca
2 changed files with 11 additions and 11 deletions
|
@ -4,11 +4,11 @@ set -e
|
|||
if [[ $TASK == bmc ]]; then
|
||||
python3 $SBY_MAIN --prefix $WORKDIR -f $SBY_FILE prove bmc
|
||||
else
|
||||
python3 $SBY_MAIN --prefix $WORKDIR -f $SBY_FILE --statusreset || true
|
||||
python3 $SBY_MAIN --prefix $WORKDIR -f $SBY_FILE bmc --statuscancels & bmc_pid="$!"
|
||||
rm -rf ${WORKDIR} ${WORKDIR}_*
|
||||
python3 $SBY_MAIN --prefix $WORKDIR $SBY_FILE bmc --statuscancels & bmc_pid="$!"
|
||||
# make sure we don't leave the background task running
|
||||
trap 'kill "$bmc_pid" 2>/dev/null || true' EXIT
|
||||
python3 $SBY_MAIN --prefix $WORKDIR -f $SBY_FILE prove
|
||||
python3 $SBY_MAIN --prefix $WORKDIR $SBY_FILE prove
|
||||
sleep 10
|
||||
test -e ${WORKDIR}_bmc/CANCELLED
|
||||
fi
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue