From 68540e1c6d5a70e183d19619eabb7597d737fc91 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frank=20Sch=C3=BCssele?= Date: Wed, 5 Apr 2023 17:55:32 +0200 Subject: [PATCH] Whitelist POR settings --- trunk/source/WebBackend/settings_whitelist.json | 4 +++- trunk/source/WebBackend/settings_whitelist.json.dist | 4 +++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/trunk/source/WebBackend/settings_whitelist.json b/trunk/source/WebBackend/settings_whitelist.json index 03c278c8699..08a86df52d5 100644 --- 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 index 03c278c8699..08a86df52d5 100644 --- 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",