Skip to content

Commit 57c94be

Browse files
sim642sim642
authored
Merge pull request #1738 from goblint/rm-graphml-witness
Remove GraphML witness export
2 parents cff1d5f + f57be96 commit 57c94be

Some content is hidden

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

52 files changed

+879
-1647
lines changed

‎conf/ldv-races.json‎

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -67,13 +67,6 @@
6767
"klever"
6868
]
6969
},
70-
"witness": {
71-
"graphml": {
72-
"enabled": true,
73-
"id": "enumerate",
74-
"unknown": false
75-
}
76-
},
7770
"solver": "td3",
7871
"sem": {
7972
"unknown_function": {

‎conf/svcomp-ghost.json‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -112,9 +112,6 @@
112112
}
113113
},
114114
"witness": {
115-
"graphml": {
116-
"enabled": false
117-
},
118115
"yaml": {
119116
"enabled": true,
120117
"format-version": "2.1",

‎conf/svcomp-yaml.json‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -76,9 +76,6 @@
7676
"region-offsets": true
7777
},
7878
"witness": {
79-
"graphml": {
80-
"enabled": false
81-
},
8279
"yaml": {
8380
"enabled": true
8481
},

‎conf/svcomp21.json‎

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -62,11 +62,5 @@
6262
"null-pointer": {
6363
"dereference": "assume_none"
6464
}
65-
},
66-
"witness": {
67-
"graphml": {
68-
"enabled": true,
69-
"id": "enumerate"
70-
}
7165
}
7266
}

‎conf/svcomp22-intervals-novareq-affeq-apron.json‎

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -66,12 +66,5 @@
6666
"int": {
6767
"signed_overflow": "assume_none"
6868
}
69-
},
70-
"witness": {
71-
"graphml": {
72-
"enabled": true,
73-
"id": "enumerate",
74-
"unknown": false
75-
}
7669
}
7770
}

‎conf/svcomp22-intervals-novareq-affeq-native.json‎

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -63,12 +63,5 @@
6363
"int": {
6464
"signed_overflow": "assume_none"
6565
}
66-
},
67-
"witness": {
68-
"graphml": {
69-
"enabled": true,
70-
"id": "enumerate",
71-
"unknown": false
72-
}
7366
}
7467
}

‎conf/svcomp22-intervals-novareq-octagon-apron.json‎

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -66,12 +66,5 @@
6666
"int": {
6767
"signed_overflow": "assume_none"
6868
}
69-
},
70-
"witness": {
71-
"graphml": {
72-
"enabled": true,
73-
"id": "enumerate",
74-
"unknown": false
75-
}
7669
}
7770
}

‎conf/svcomp22-intervals-novareq-polyhedra-apron.json‎

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -66,12 +66,5 @@
6666
"int": {
6767
"signed_overflow": "assume_none"
6868
}
69-
},
70-
"witness": {
71-
"graphml": {
72-
"enabled": true,
73-
"id": "enumerate",
74-
"unknown": false
75-
}
7669
}
7770
}

‎conf/svcomp22.json‎

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -65,12 +65,5 @@
6565
"null-pointer": {
6666
"dereference": "assume_none"
6767
}
68-
},
69-
"witness": {
70-
"graphml": {
71-
"enabled": true,
72-
"id": "enumerate",
73-
"unknown": false
74-
}
7568
}
7669
}

‎conf/svcomp23.json‎

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -88,12 +88,5 @@
8888
"null-pointer": {
8989
"dereference": "assume_none"
9090
}
91-
},
92-
"witness": {
93-
"graphml": {
94-
"enabled": true,
95-
"id": "enumerate",
96-
"unknown": false
97-
}
9891
}
9992
}

0 commit comments

Comments
 (0)