Whitelist POR settings

ultimate-pa · Apr 5, 2023 · 68540e1 · 68540e1
1 parent 797cea1
commit 68540e1
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/trunk/source/WebBackend/settings_whitelist.json b/trunk/source/WebBackend/settings_whitelist.json
@@ -10,7 +10,9 @@
 		"Automaton type used in concurrency analysis",
 		"Apply one-shot large block encoding in concurrent analysis",
 		"Partial Order Reduction in concurrent analysis",
-		"CEGAR restart behaviour"
+		"CEGAR restart behaviour",
+		"Partial Order Reduction in concurrent analysis",
+		"DFS Order used in POR"
 	],
 	"de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder": [
 		"SMT solver",

diff --git a/trunk/source/WebBackend/settings_whitelist.json.dist b/trunk/source/WebBackend/settings_whitelist.json.dist
@@ -10,7 +10,9 @@
 		"Automaton type used in concurrency analysis",
 		"Apply one-shot large block encoding in concurrent analysis",
 		"Partial Order Reduction in concurrent analysis",
-		"CEGAR restart behaviour"
+		"CEGAR restart behaviour",
+		"Partial Order Reduction in concurrent analysis",
+		"DFS Order used in POR"
 	],
 	"de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder": [
 		"SMT solver",