-
Notifications
You must be signed in to change notification settings - Fork 4
/
testresults
23 lines (23 loc) · 1.03 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
./Examples/Fail/badInc.cvf: badInc_C000_000
./Examples/Fail/badInc2.cvf: badInc_C000_000
./Examples/Fail/petersonBadTurns.cvf: lockA_C001_019 lockB_C001_018
./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/Pass/arc.cvf:
./Examples/Pass/multicounter.cvf:
./Examples/Pass/peterson.cvf:
./Examples/Pass/petersonInt.cvf:
./Examples/Pass/petersonIntMissingSynthesised.cvf:
./Examples/Pass/petersonMultiCmd.cvf:
./Examples/Pass/seqCmd.cvf:
./Examples/Pass/singleWriterMultiReaderLock.cvf:
./Examples/Pass/spinLockAdvisory.cvf:
./Examples/Pass/spinLock.cvf:
./Examples/Pass/spinLockInt.cvf:
./Examples/Pass/spinLockMultiCmd.cvf:
./Examples/Pass/ticketLock.cvf:
./Examples/Pass/ticketLockNoIf.cvf:
./Examples/Pass/ticketLockNoInvariant.cvf:
./Examples/Pass/ticketLockNonAtomicRelease2.cvf:
./Examples/Pass/ticketLockNonAtomicRelease.cvf: