Skip to content

Commit a448918

Browse files
ahelwerahelwer
committed
Actually remove model features from manifests
Signed-off-by: Andrew Helwer <[email protected]>
1 parent 6f65e24 commit a448918

File tree

73 files changed

+0
-481
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

73 files changed

+0
-481
lines changed

‎specifications/Bakery-Boulangerie/manifest.json‎

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -40,9 +40,6 @@
4040
"runtime": "00:00:10",
4141
"size": "small",
4242
"mode": "exhaustive search",
43-
"features": [
44-
"ignore deadlock"
45-
],
4643
"result": "success",
4744
"distinctStates": 655200,
4845
"totalStates": 3403584,
@@ -61,9 +58,6 @@
6158
"runtime": "00:01:00",
6259
"size": "medium",
6360
"mode": "exhaustive search",
64-
"features": [
65-
"state constraint"
66-
],
6761
"result": "success"
6862
}
6963
]

‎specifications/CarTalkPuzzle/manifest.json‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,6 @@
3535
"runtime": "00:00:01",
3636
"size": "small",
3737
"mode": "exhaustive search",
38-
"features": [],
3938
"result": "success",
4039
"distinctStates": 0,
4140
"totalStates": 0,
@@ -61,7 +60,6 @@
6160
"runtime": "00:00:05",
6261
"size": "small",
6362
"mode": "exhaustive search",
64-
"features": [],
6563
"result": "success",
6664
"distinctStates": 0,
6765
"totalStates": 0,
@@ -87,7 +85,6 @@
8785
"runtime": "unknown",
8886
"size": "large",
8987
"mode": "exhaustive search",
90-
"features": [],
9188
"result": "unknown"
9289
}
9390
]

‎specifications/Chameneos/manifest.json‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -21,9 +21,6 @@
2121
"runtime": "00:00:01",
2222
"size": "small",
2323
"mode": "exhaustive search",
24-
"features": [
25-
"ignore deadlock"
26-
],
2724
"result": "success",
2825
"distinctStates": 34534,
2926
"totalStates": 104697,

‎specifications/CheckpointCoordination/manifest.json‎

Lines changed: 0 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -29,21 +29,13 @@
2929
"runtime": "00:01:00",
3030
"size": "medium",
3131
"mode": "exhaustive search",
32-
"features": [
33-
"state constraint",
34-
"symmetry"
35-
],
3632
"result": "success"
3733
},
3834
{
3935
"path": "specifications/CheckpointCoordination/MCCheckpointCoordinationFailure.cfg",
4036
"runtime": "00:00:10",
4137
"size": "small",
4238
"mode": "exhaustive search",
43-
"features": [
44-
"state constraint",
45-
"symmetry"
46-
],
4739
"result": "safety failure"
4840
}
4941
]

‎specifications/CigaretteSmokers/manifest.json‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,6 @@
2121
"runtime": "00:00:01",
2222
"size": "small",
2323
"mode": "exhaustive search",
24-
"features": [],
2524
"result": "success",
2625
"distinctStates": 6,
2726
"totalStates": 15,

‎specifications/CoffeeCan/manifest.json‎

Lines changed: 0 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -23,19 +23,13 @@
2323
"runtime": "00:00:15",
2424
"size": "medium",
2525
"mode": "exhaustive search",
26-
"features": [
27-
"liveness"
28-
],
2926
"result": "success"
3027
},
3128
{
3229
"path": "specifications/CoffeeCan/CoffeeCan100Beans.cfg",
3330
"runtime": "00:00:05",
3431
"size": "small",
3532
"mode": "exhaustive search",
36-
"features": [
37-
"liveness"
38-
],
3933
"result": "success",
4034
"distinctStates": 5150,
4135
"totalStates": 20002,
@@ -46,9 +40,6 @@
4640
"runtime": "00:02:30",
4741
"size": "medium",
4842
"mode": "exhaustive search",
49-
"features": [
50-
"liveness"
51-
],
5243
"result": "success"
5344
}
5445
]

‎specifications/DieHard/manifest.json‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,6 @@
2121
"runtime": "00:00:01",
2222
"size": "small",
2323
"mode": "exhaustive search",
24-
"features": [],
2524
"result": "safety failure"
2625
}
2726
]
@@ -44,7 +43,6 @@
4443
"runtime": "00:00:01",
4544
"size": "small",
4645
"mode": "exhaustive search",
47-
"features": [],
4846
"result": "safety failure"
4947
}
5048
]

‎specifications/DiningPhilosophers/manifest.json‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -23,9 +23,6 @@
2323
"runtime": "00:00:01",
2424
"size": "small",
2525
"mode": "exhaustive search",
26-
"features": [
27-
"liveness"
28-
],
2926
"result": "success",
3027
"distinctStates": 67,
3128
"totalStates": 336,

‎specifications/Disruptor/manifest.json‎

Lines changed: 0 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -21,10 +21,6 @@
2121
"runtime": "00:00:10",
2222
"size": "small",
2323
"mode": "exhaustive search",
24-
"features": [
25-
"ignore deadlock",
26-
"state constraint"
27-
],
2824
"result": "success",
2925
"distinctStates": 112929,
3026
"totalStates": 422781,
@@ -35,11 +31,6 @@
3531
"runtime": "00:00:10",
3632
"size": "small",
3733
"mode": "exhaustive search",
38-
"features": [
39-
"ignore deadlock",
40-
"liveness",
41-
"state constraint"
42-
],
4334
"result": "success",
4435
"distinctStates": 14365,
4536
"totalStates": 44581,
@@ -58,11 +49,6 @@
5849
"runtime": "00:00:10",
5950
"size": "small",
6051
"mode": "exhaustive search",
61-
"features": [
62-
"ignore deadlock",
63-
"liveness",
64-
"state constraint"
65-
],
6652
"result": "success",
6753
"distinctStates": 8496,
6854
"totalStates": 28049,

‎specifications/EinsteinRiddle/manifest.json‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,6 @@
2020
"runtime": "00:00:01",
2121
"size": "small",
2222
"mode": "symbolic",
23-
"features": [],
2423
"result": "safety failure"
2524
}
2625
]

0 commit comments

Comments
 (0)