Skip to content

Commit

Permalink
Fix breakages in regression tests.
Browse files Browse the repository at this point in the history
  • Loading branch information
MattWindsor91 committed Jan 29, 2016
1 parent 163bd75 commit fb66ea8
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion countFails.sh
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
# Usage: countFails.sh path/to/cvf

printf "%s: " "$1"
./starling.sh -h $1 |
./starling.sh $1 |
grep "fail" |
cut -d" " -f1 |
tr "\n" " "
Expand Down
6 changes: 3 additions & 3 deletions testresults
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
./Examples/Fail/badInc2.cvf:
./Examples/Fail/badInc.cvf:
./Examples/Fail/badInc2.cvf: 1
./Examples/Fail/badInc.cvf: 1
./Examples/Fail/ticketLockBad2.cvf: 1 3 31
./Examples/Fail/ticketLockBad.cvf: 28 29
./Examples/PassHSF/ticketLockIndefinite.cvf:
Expand All @@ -14,4 +14,4 @@
./Examples/WIP/peterson.cvf: 5 8 40 47 50 52
./Examples/WIP/sppool.cvf:
./Examples/WIP/tests.cvf:
./Examples/Pass/ticketLockNonAtomicRelease.cvf:
./Examples/Pass/ticketLockNonAtomicRelease.cvf:

0 comments on commit fb66ea8

Please sign in to comment.