diff --git a/countFails.sh b/countFails.sh index 5ee82d6..ea75bf5 100755 --- a/countFails.sh +++ b/countFails.sh @@ -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" " " diff --git a/testresults b/testresults index 50cdc37..d309c12 100644 --- a/testresults +++ b/testresults @@ -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: @@ -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: \ No newline at end of file +./Examples/Pass/ticketLockNonAtomicRelease.cvf: