Update web interface for cReferee

Avoid warning about library mode if there is a main function.
ultimate-pa · Aug 2, 2023 · 43d58d8 · 43d58d8
1 parent b6c7953
commit 43d58d8
Show file tree

Hide file tree

Showing 5 changed files with 24 additions and 9 deletions.
diff --git a/releaseScripts/website-config/backend/settings_whitelist.json b/releaseScripts/website-config/backend/settings_whitelist.json
@@ -47,9 +47,8 @@
 		"Use bitvectors instead of ints",
 		"Memory model",
 		"Adapt memory model on pointer casts if necessary",
-		"Entry function"
-
-
+		"Entry function",
+		"Report unsoundness warnings"
 	],
 	"de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer": [
 		"Try twofold refinement",

diff --git a/releaseScripts/website-config/frontend/config.js b/releaseScripts/website-config/frontend/config.js
@@ -1617,6 +1617,15 @@ const _CONFIG = {
 							"type": "bool",
 							"key": "Adapt memory model on pointer casts if necessary"
 						}
+						{
+							"plugin_id": "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator",
+							"default": false,
+							"visible": false,
+							"name": "Report unsoundness warnings",
+							"id": "cacsl2boogietranslator_report_unsoundness_warnings",
+							"type": "bool",
+							"key": "Report unsoundness warnings"
+						},
 					]
 				},
 				{

diff --git a/trunk/source/WebBackend/settings_whitelist.json b/trunk/source/WebBackend/settings_whitelist.json
@@ -47,9 +47,8 @@
 		"Use bitvectors instead of ints",
 		"Memory model",
 		"Adapt memory model on pointer casts if necessary",
-		"Entry function"
-
-
+		"Entry function",
+		"Report unsoundness warnings"
 	],
 	"de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer": [
 		"Try twofold refinement",

diff --git a/trunk/source/WebBackend/settings_whitelist.json.dist b/trunk/source/WebBackend/settings_whitelist.json.dist
@@ -47,9 +47,8 @@
 		"Use bitvectors instead of ints",
 		"Memory model",
 		"Adapt memory model on pointer casts if necessary",
-		"Entry function"
-
-
+		"Entry function",
+		"Report unsoundness warnings"
 	],
 	"de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer": [
 		"Try twofold refinement",

diff --git a/trunk/source/WebsiteStatic/config/config.dist.js b/trunk/source/WebsiteStatic/config/config.dist.js
@@ -1617,6 +1617,15 @@ const _CONFIG = {
 							"type": "bool",
 							"key": "Adapt memory model on pointer casts if necessary"
 						}
+						{
+							"plugin_id": "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator",
+							"default": false,
+							"visible": false,
+							"name": "Report unsoundness warnings",
+							"id": "cacsl2boogietranslator_report_unsoundness_warnings",
+							"type": "bool",
+							"key": "Report unsoundness warnings"
+						},
 					]
 				},
 				{