From 1d910c33c49b30f58b7b8f893cac67aa4cafe9d3 Mon Sep 17 00:00:00 2001
From: lianahus <liana@ethereum.org>
Date: Tue, 29 Mar 2022 11:19:27 +0200
Subject: [PATCH] added config example cleanup config

---
 .../contracts/solidity_compiler_config.json   | 77 +++++++++++++++++++
 1 file changed, 77 insertions(+)
 create mode 100644 apps/remix-ide/contracts/solidity_compiler_config.json

diff --git a/apps/remix-ide/contracts/solidity_compiler_config.json b/apps/remix-ide/contracts/solidity_compiler_config.json
new file mode 100644
index 0000000000..7b93fa3532
--- /dev/null
+++ b/apps/remix-ide/contracts/solidity_compiler_config.json
@@ -0,0 +1,77 @@
+{
+    "_comment": "for foll description visit https://docs.soliditylang.org/en/develop/using-the-compiler.html?highlight=standard%20json#input-description",
+    "language": "Solidity",
+    "sources":
+    {
+      "myFile.sol":
+      {
+        "keccak256": "0x123...",
+        "urls": [
+        ]
+      },
+      "destructible":
+      {
+      }
+    },
+    "settings":
+    {
+      "stopAfter": "parsing",
+      "remappings": [ ":g=/dir" ],
+      "optimizer": {
+        "enabled": true,
+        "runs": 200,
+        "details": {
+          "peephole": true,
+          "inliner": true,
+          "jumpdestRemover": true,
+          "orderLiterals": false,
+          "deduplicate": false,
+          "cse": false,
+          "constantOptimizer": false,
+          "yul": false,
+          "yulDetails": {
+            "stackAllocation": true,
+          }
+        }
+      },
+      "evmVersion": "london",
+      "viaIR": true,
+      "debug": {
+        "revertStrings": "default",
+        "debugInfo": ["location", "snippet"]
+      },
+      "metadata": {
+        "useLiteralContent": true,
+        "bytecodeHash": "ipfs"
+      },
+      "libraries": {
+      },
+      "outputSelection": {
+        "*": {
+          "*": [
+            "metadata", "evm.bytecode",
+            "evm.bytecode.sourceMap"
+          ],
+          "": [
+            "ast"
+          ]
+        },
+        "def": {
+          "MyContract": [ "abi", "evm.bytecode.opcodes" ]
+        }
+      },
+      "modelChecker":
+      {
+        "contracts":
+        {
+        },
+        "divModNoSlacks": false,
+        "engine": "chc",
+        "invariants": ["contract", "reentrancy"],
+        "showUnproved": true,
+        "solvers": ["cvc4", "smtlib2", "z3"],
+        "targets": ["underflow", "overflow", "assert"],
+        "timeout": 20000
+      }
+    }
+  }
\ No newline at end of file