forked from septract/starling-tool
-
Notifications
You must be signed in to change notification settings - Fork 1
/
regress.in
55 lines (55 loc) · 1.76 KB
/
regress.in
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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
# This file tells `regress.py` which failures are expected in Starling
# examples.
#
# Each line is formatted as follows:
#
# Bucket:Name:Failure1 Failure2 ... FailureN
#
# where the filename is Bucket/Name.cvf.
#
# Note that `regress.py` checks ALL files in [Pass,PassGH,Fail,FailGH]:
# removing or omitting the corresponding line here will cause it to fail with
# a 'missing results' error!
#
# Blank lines (after #-stripping) are discarded.
Fail:arcNondet: drop_C002_002 drop_C002_003
Fail:badInc: badInc_C000_000
Fail:badInc2: badInc_C000_000
Fail:circularNoFlushSync: flush_C000_003
Fail:petersonArrayBadTurns: lock_C001_005
Fail:petersonBadTurns: lockA_C001_019 lockB_C001_018
Fail:spinLockBrokenCAS: lock_C001__lock_C003_001
Fail:ticketLockBad: unlock_C000_002 unlock_C000_003
Fail:ticketLockBad2: lock_C000_000 lock_C000_002 unlock_C000_000
Fail:ticketLockFlippedLoop: lock_C002_001 lock_C002_004 lock_C003_002 lock_C003_003 lock_C003_005
FailGH:clhLockFalseSpin: lock_C002__lock_C004_000 lock_C002__lock_C004_005
FailGH:clhLockFlippedIf: lock_C004_000 lock_C004_005
FailGH:ticketLockFlippedIf: lock_C001_003 lock_C001_004 lock_C001_006 lock_C002_002 lock_C002_005 lock_C003_003 lock_C003_004 lock_C003_006
Pass:arc:
Pass:circular:
Pass:multicounter:
Pass:multicounterOG:
Pass:peterson:
Pass:petersonArray:
Pass:petersonInt:
Pass:petersonIntMissingSynthesised:
Pass:petersonMultiCmd:
Pass:regressIter:
Pass:seqCmd:
Pass:singleWriterMultiReaderLock:
Pass:spinLock:
Pass:spinLockAdvisory:
Pass:spinLockAtomicBranch:
Pass:spinLockInt:
Pass:spinLockMultiCmd:
Pass:ticketLock:
Pass:ticketLockNoIf:
Pass:ticketLockNoInvariant:
Pass:ticketLockNonAtomicRelease:
Pass:ticketLockNonAtomicRelease2:
PassGH:arc:
PassGH:clhLock:
PassGH:lclist:
PassGH:spinLock:
PassGH:spinLockAtomicBranch:
PassGH:ticketLock: