From acbe35b93c0db6ac39e6bb8c011050adc7e8fcc2 Mon Sep 17 00:00:00 2001 From: Matt Windsor Date: Wed, 2 Mar 2016 17:57:13 +0000 Subject: [PATCH] Update regression tests to match. --- countFails.sh | 2 +- testresults | 12 ++++++------ 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/countFails.sh b/countFails.sh index fe3b00b..713a825 100755 --- a/countFails.sh +++ b/countFails.sh @@ -4,5 +4,5 @@ printf "%s: " "$1" ./starling.sh $1 | grep "fail" | - cut -d" " -f1 | + cut -d":" -f1 | xargs diff --git a/testresults b/testresults index fa37954..63db934 100644 --- a/testresults +++ b/testresults @@ -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: \ No newline at end of file