basic dapptools structure

.dapprc

@@ -0,0 +1,5 @@
+export DAPP_SOLC_VERSION=0.6.10
+export DAPP_REMAPPINGS=$(cat remappings.txt)
+export DAPP_BUILD_OPTIMIZE=1
+export DAPP_BUILD_OPTIMIZE_RUNS=1000000000
+export DAPP_TEST_VERBOSITY=1

.vscode/settings.json

@@ -0,0 +1,4 @@
+{
+    "solidity.packageDefaultDependenciesDirectory": "lib",
+    "solidity.packageDefaultDependenciesContractsDirectory": "src"
+}

remappings.txt

@@ -0,0 +1 @@
+ds-test/=lib/ds-test/src/

src/IndexCoopSymbolicExecution.sol

@@ -1,5 +1,8 @@
-// SPDX-License-Identifier: GPL-3.0-or-later
-pragma solidity ^0.8.6;
+// SPDX-License-Identifier: Apache License, Version 2.0
+pragma solidity ^0.6.10;
 
 contract IndexCoopSymbolicExecution {
+    function isPasswordCorrect(uint256 _password) external pure returns (bool) {
+        return _password == 1337;
+    }
 }

src/IndexCoopSymbolicExecution.t.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: GPL-3.0-or-later
-pragma solidity ^0.8.6;
+pragma solidity 0.6.10;
 
 import "ds-test/test.sol";
 
@@ -12,11 +12,7 @@ contract IndexCoopSymbolicExecutionTest is DSTest {
         execution = new IndexCoopSymbolicExecution();
     }
 
-    function testFail_basic_sanity() public {
-        assertTrue(false);
-    }
-
-    function test_basic_sanity() public {
-        assertTrue(true);
+    function prove_password(uint256 _password) public {
+        assertTrue(!execution.isPasswordCorrect(_password));
     }
 }