Remove C translation settings for boogie

ultimate-pa · Apr 5, 2023 · ffa8236 · ffa8236
1 parent c3e2c5c
commit ffa8236
Showing 1 changed file with 0 additions and 99 deletions.
diff --git a/trunk/source/WebsiteStatic/config/config.dist.js b/trunk/source/WebsiteStatic/config/config.dist.js
@@ -726,105 +726,6 @@ const _CONFIG = {
 					id: "boogieGemCutter",
 					task_id: "GEMCUTTER_BOOGIE",
 					frontend_settings: [
-						{
-							"plugin_id": "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator",
-							"name": "Check absence of data races in concurrent programs",
-							"key": "Check absence of data races in concurrent programs",
-							"id": "cacsl2boogietranslator.check.absence.of.data.races.in.concurrent.programs",
-							"visible": true,
-							"default": true,
-							"type": "bool"
-						},
-						{
-							"plugin_id": "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator",
-							"name": "Check absence of signed integer overflows",
-							"key": "Check absence of signed integer overflows",
-							"id": "cacsl2boogietranslator.check.absence.of.signed.integer.overflows",
-							"visible": true,
-							"default": true,
-							"type": "bool"
-						},
-						{
-							"plugin_id": "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator",
-							"name": "Check division by zero",
-							"key": "Check division by zero",
-							"id": "cacsl2boogietranslator.check.division.by.zero",
-							"visible": false,
-							"default": "IGNORE",
-							"type": "string"
-						},
-						{
-							"plugin_id": "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator",
-							"name": "Check if freed pointer was valid",
-							"key": "Check if freed pointer was valid",
-							"id": "cacsl2boogietranslator.check.if.freed.pointer.was.valid",
-							"visible": false,
-							"default": false,
-							"type": "bool"
-						},
-						{
-							"plugin_id": "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator",
-							"name": "Pointer to allocated memory at dereference",
-							"key": "Pointer to allocated memory at dereference",
-							"id": "cacsl2boogietranslator.pointer.to.allocated.memory.at.dereference",
-							"visible": false,
-							"default": "IGNORE",
-							"type": "string"
-						},
-						{
-							"plugin_id": "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator",
-							"name": "Check array bounds for arrays that are off heap",
-							"key": "Check array bounds for arrays that are off heap",
-							"id": "cacsl2boogietranslator.check.array.bounds.for.arrays.that.are.off.heap",
-							"visible": false,
-							"default": "IGNORE",
-							"type": "string"
-						},
-						{
-							"plugin_id": "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator",
-							"name": "Check for the main procedure if all allocated memory was freed",
-							"key": "Check for the main procedure if all allocated memory was freed",
-							"id": "cacsl2boogietranslator.check.for.the.main.procedure.if.all.allocated.memory.was.freed",
-							"visible": false,
-							"default": false,
-							"type": "bool"
-						},
-						{
-							"plugin_id": "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator",
-							"name": "If two pointers are subtracted or compared they have the same base address",
-							"key": "If two pointers are subtracted or compared they have the same base address",
-							"id": "cacsl2boogietranslator.if.two.pointers.are.subtracted.or.compared.they.have.the.same.base.address",
-							"visible": false,
-							"default": "IGNORE",
-							"type": "string"
-						},
-						{
-							"plugin_id": "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator",
-							"name": "Pointer base address is valid at dereference",
-							"key": "Pointer base address is valid at dereference",
-							"id": "cacsl2boogietranslator.pointer.base.address.is.valid.at.dereference",
-							"visible": false,
-							"default": "IGNORE",
-							"type": "string"
-						},
-						{
-							"plugin_id": "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator",
-							"name": "Overapproximate operations on floating types",
-							"key": "Overapproximate operations on floating types",
-							"id": "cacsl2boogietranslator.overapproximate.operations.on.floating.types",
-							"visible": false,
-							"default": true,
-							"type": "bool"
-						},
-						{
-							"plugin_id": "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator",
-							"name": "Use constant arrays",
-							"key": "Use constant arrays",
-							"id": "cacsl2boogietranslator.use.constant.arrays",
-							"visible": false,
-							"default": true,
-							"type": "bool"
-						},
 						{
 							"plugin_id": "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder",
 							"name": "Size of a code block",