Add settings for cReferee

ultimate-pa · Jul 26, 2023 · 672c7fd · 672c7fd
1 parent d0587b9
commit 672c7fd
Showing 1 changed file with 48 additions and 4 deletions.
diff --git a/trunk/source/WebsiteStatic/config/config.dist.js b/trunk/source/WebsiteStatic/config/config.dist.js
@@ -10,12 +10,12 @@ const _CONFIG = {
 	editor: {
 		// Default content of the editor.
 		init_code: '// Enter code here ...',
-		// default_msg_orientation: one of ["bottom" | "left"], 
+		// default_msg_orientation: one of ["bottom" | "left"],
 		//                          determines the ultimate response messages default orientation.
 		default_msg_orientation: "left"
 	},
 	// code_file_extensions: Determines the file extension to be used as input for the ultimate tool.
-	//                       The key is the language of the tool in the frontend; 
+	//                       The key is the language of the tool in the frontend;
 	//                       The value is the file extension to be used by ultimate.
 	code_file_extensions: {
 		c: '.c',
@@ -53,7 +53,7 @@ const _CONFIG = {
 	 */
 	//  * Id (`id`).
 	//  * Front-page entry (`name`, `description`, `languages`).
-	//  * Supported languages and specific settings (`workers`).  
+	//  * Supported languages and specific settings (`workers`).
 	tools: [
 		{
 			// name: A Human readable name of this tool. Used as Heading in the frontend.
@@ -1573,7 +1573,51 @@ const _CONFIG = {
 					language: "c",
 					id: "cReferee",
 					task_id: "REFEREE_C",
-					frontend_settings: []
+					"frontend_settings": [
+						{
+							"plugin_id": "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator",
+							"default": "",
+							"visible": true,
+							"name": "Entry function",
+							"id": "cacsl2boogietranslator_entry_function",
+							"type": "string",
+							"key": "Entry function"
+						},
+						{
+							"plugin_id": "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator",
+							"default": true,
+							"visible": true,
+							"name": "Use bitvectors instead of ints",
+							"id": "cacsl2boogietranslator_use_bitvectors_instead_of_ints",
+							"type": "bool",
+							"key": "Use bitvectors instead of ints"
+						},
+						{
+							"plugin_id": "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator",
+							"default": "HoenickeLindenmann_4ByteResolution",
+							"visible": false,
+							"name": "Memory model",
+							"options": [
+								"HoenickeLindenmann_Original",
+								"HoenickeLindenmann_1ByteResolution",
+								"HoenickeLindenmann_2ByteResolution",
+								"HoenickeLindenmann_4ByteResolution",
+								"HoenickeLindenmann_8ByteResolution"
+							],
+							"id": "cacsl2boogietranslator_memory_model",
+							"type": "string",
+							"key": "Memory model"
+						},
+						{
+							"plugin_id": "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator",
+							"default": true,
+							"visible": false,
+							"name": "Adapt memory model on pointer casts if necessary",
+							"id": "cacsl2boogietranslator_adapt_memory_model_on_pointer_casts_if_necessary",
+							"type": "bool",
+							"key": "Adapt memory model on pointer casts if necessary"
+						}
+					]
 				},
 				{
 					language: "boogie",