-
Notifications
You must be signed in to change notification settings - Fork 4
/
testresults
37 lines (37 loc) · 1.75 KB
/
testresults
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
./Examples/Fail/badInc.cvf: badInc_C000_000
./Examples/Fail/badInc2.cvf: badInc_C000_000
./Examples/Fail/petersonArrayBadTurns.cvf: lock_C001_005
./Examples/Fail/petersonBadTurns.cvf: lockA_C001_019 lockB_C001_018
./Examples/Fail/spinLockBrokenCAS.cvf: lock_C001__lock_C003_002
./Examples/Fail/ticketLockBad.cvf: unlock_C000_002 unlock_C000_003
./Examples/Fail/ticketLockBad2.cvf: lock_C000_000 lock_C000_002 unlock_C000_000
./Examples/Fail/ticketLockFlippedLoop.cvf: lock_C002_001 lock_C002_004 lock_C003_002 lock_C003_003 lock_C003_005
./Examples/FailGH/clhLockFalseSpin.cvf: lock_C002__lock_C004_000 lock_C002__lock_C004_005
./Examples/FailGH/clhLockFlippedIf.cvf: lock_C004_000 lock_C004_005
./Examples/FailGH/ticketLockFlippedIf.cvf: lock_C001_003 lock_C001_004 lock_C001_006 lock_C002_002 lock_C002_005 lock_C003_003 lock_C003_004 lock_C003_006
./Examples/Pass/arc.cvf:
./Examples/Pass/arc2.cvf:
./Examples/Pass/multicounter.cvf:
./Examples/Pass/peterson.cvf:
./Examples/Pass/petersonArray.cvf:
./Examples/Pass/petersonInt.cvf:
./Examples/Pass/petersonIntMissingSynthesised.cvf:
./Examples/Pass/petersonMultiCmd.cvf:
./Examples/Pass/seqCmd.cvf:
./Examples/Pass/singleWriterMultiReaderLock.cvf:
./Examples/Pass/spinLock.cvf:
./Examples/Pass/spinLockAdvisory.cvf:
./Examples/Pass/spinLockAtomicBranch.cvf:
./Examples/Pass/spinLockInt.cvf:
./Examples/Pass/spinLockMultiCmd.cvf:
./Examples/Pass/ticketLock.cvf:
./Examples/Pass/ticketLockNoIf.cvf:
./Examples/Pass/ticketLockNoInvariant.cvf:
./Examples/Pass/ticketLockNonAtomicRelease.cvf:
./Examples/Pass/ticketLockNonAtomicRelease2.cvf:
./Examples/PassGH/arc.cvf:
./Examples/PassGH/clhLock.cvf:
./Examples/PassGH/lclist.cvf:
./Examples/PassGH/spinLock.cvf:
./Examples/PassGH/spinLockAtomicBranch.cvf:
./Examples/PassGH/ticketLock.cvf: