dapp init IndexCoopSymbolicExecution

.gitattributes

@@ -0,0 +1 @@
+*.sol linguist-language=Solidity

.gitignore

@@ -0,0 +1 @@
+/out

Makefile

@@ -0,0 +1,4 @@
+all    :; dapp build
+clean  :; dapp clean
+test   :; dapp test
+deploy :; dapp create IndexCoopSymbolicExecution

src/IndexCoopSymbolicExecution.sol

@@ -0,0 +1,5 @@
+// SPDX-License-Identifier: GPL-3.0-or-later
+pragma solidity ^0.8.6;
+
+contract IndexCoopSymbolicExecution {
+}

src/IndexCoopSymbolicExecution.t.sol

@@ -0,0 +1,22 @@
+// SPDX-License-Identifier: GPL-3.0-or-later
+pragma solidity ^0.8.6;
+
+import "ds-test/test.sol";
+
+import "./IndexCoopSymbolicExecution.sol";
+
+contract IndexCoopSymbolicExecutionTest is DSTest {
+    IndexCoopSymbolicExecution execution;
+
+    function setUp() public {
+        execution = new IndexCoopSymbolicExecution();
+    }
+
+    function testFail_basic_sanity() public {
+        assertTrue(false);
+    }
+
+    function test_basic_sanity() public {
+        assertTrue(true);
+    }
+}