Skip to content

Commit

Permalink
Update regression tests to match.
Browse files Browse the repository at this point in the history
  • Loading branch information
@MattWindsor91
MattWindsor91 committed Mar 9, 2016
1 parent 493c32d commit acbe35b
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 7 deletions.
2 changes: 1 addition & 1 deletion countFails.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,5 +4,5 @@
printf "%s: " "$1"
./starling.sh $1 |
grep "fail" |
cut -d" " -f1 |
cut -d":" -f1 |
xargs
12 changes: 6 additions & 6 deletions testresults
View file
Original file line number Diff line number Diff line change
@@ -1,12 +1,12 @@
./Examples/Fail/badInc.cvf: 1
./Examples/Fail/badInc2.cvf: 1
./Examples/Fail/ticketLockBad.cvf: 28 29
./Examples/Fail/ticketLockBad2.cvf: 1 3 31
./Examples/Fail/ticketLockFlippedLoop.cvf: 14 17 21 22 24
./Examples/Fail/badInc2.cvf: badInc_C0_0
./Examples/Fail/badInc.cvf: badInc_C0_0
./Examples/Fail/ticketLockBad2.cvf: lock_C0_0 lock_C0_2 unlock_C0_0
./Examples/Fail/ticketLockBad.cvf: unlock_C0_2 unlock_C0_3
./Examples/Fail/ticketLockFlippedLoop.cvf: lock_C2_1 lock_C2_4 lock_C3_2 lock_C3_3 lock_C3_5
./Examples/Pass/multicounter.cvf:
./Examples/Pass/spinLock.cvf:
./Examples/Pass/ticketLock.cvf:
./Examples/Pass/ticketLockNoIf.cvf:
./Examples/Pass/ticketLockNoInvariant.cvf:
./Examples/Pass/ticketLockNonAtomicRelease2.cvf:
./Examples/Pass/ticketLockNonAtomicRelease.cvf:
./Examples/Pass/ticketLockNonAtomicRelease2.cvf:

0 comments on commit acbe35b

Please sign in to comment.