Deploying to gh-pages from @ bc76001 🚀

ethereum · Dec 2, 2024 · a73a415 · a73a415
1 parent 2111753
commit a73a415
Show file tree

Hide file tree

Showing 9 changed files with 28 additions and 40 deletions.
diff --git a/exec.html b/exec.html
@@ -217,9 +217,7 @@ <h1 id="hevm-exec"><a class="header" href="#hevm-exec"><code>hevm exec</code></a
   --rpc TEXT               Fetch state from a remote node
   --block W256             Block state is be fetched from
   --root STRING            Path to project root directory (default: . )
-  --project-type PROJECTTYPE
-                           Is this a Foundry or DappTools project (default:
-                           Foundry)
+  --project-type PROJECTTYPE Foundry or CombinedJSON project
 </code></pre>
 <p>Minimum required flags: either you must provide <code>--code</code> or you must both pass
 <code>--rpc</code> and <code>--address</code>.</p>

diff --git a/getting-started.html b/getting-started.html
@@ -203,9 +203,9 @@ <h2 id="practical-scenario"><a class="header" href="#practical-scenario">Practic
 <p>Let's say we have a function that allows transfer of money, but no balance can
 be larger than or equal to 100. Let's see the contract and its associated check:</p>
 <pre><code class="language-solidity">pragma solidity ^0.8.19;
-import "ds-test/test.sol";
+import "foge-std/Test.sol";
 
-contract MyContract is DSTest {
+contract MyContract is Test {
   mapping (address =&gt; uint) balances;
   function prove_add_value(address recv, uint amt) public {
     require(balances[recv] &lt; 100);
@@ -235,9 +235,9 @@ <h3 id="building"><a class="header" href="#building">Building</a></h3>
 $ forge init .
 $ cat &lt;&lt;EOF &gt; src/contract.sol
 pragma solidity ^0.8.19;
-import "ds-test/test.sol";
+import "forge-std/Test.sol";
 
-contract MyContract is DSTest {
+contract MyContract is Test {
   mapping (address =&gt; uint) balances;
   function prove_add_value(address recv, uint amt) public {
     require(balances[recv] &lt; 100);

diff --git a/index.html b/index.html
@@ -203,9 +203,9 @@ <h2 id="practical-scenario"><a class="header" href="#practical-scenario">Practic
 <p>Let's say we have a function that allows transfer of money, but no balance can
 be larger than or equal to 100. Let's see the contract and its associated check:</p>
 <pre><code class="language-solidity">pragma solidity ^0.8.19;
-import "ds-test/test.sol";
+import "foge-std/Test.sol";
 
-contract MyContract is DSTest {
+contract MyContract is Test {
   mapping (address =&gt; uint) balances;
   function prove_add_value(address recv, uint amt) public {
     require(balances[recv] &lt; 100);
@@ -235,9 +235,9 @@ <h3 id="building"><a class="header" href="#building">Building</a></h3>
 $ forge init .
 $ cat &lt;&lt;EOF &gt; src/contract.sol
 pragma solidity ^0.8.19;
-import "ds-test/test.sol";
+import "forge-std/Test.sol";
 
-contract MyContract is DSTest {
+contract MyContract is Test {
   mapping (address =&gt; uint) balances;
   function prove_add_value(address recv, uint amt) public {
     require(balances[recv] &lt; 100);

diff --git a/print.html b/print.html
@@ -201,9 +201,9 @@ <h2 id="practical-scenario"><a class="header" href="#practical-scenario">Practic
 <p>Let's say we have a function that allows transfer of money, but no balance can
 be larger than or equal to 100. Let's see the contract and its associated check:</p>
 <pre><code class="language-solidity">pragma solidity ^0.8.19;
-import "ds-test/test.sol";
+import "foge-std/Test.sol";
 
-contract MyContract is DSTest {
+contract MyContract is Test {
   mapping (address =&gt; uint) balances;
   function prove_add_value(address recv, uint amt) public {
     require(balances[recv] &lt; 100);
@@ -233,9 +233,9 @@ <h3 id="building"><a class="header" href="#building">Building</a></h3>
 $ forge init .
 $ cat &lt;&lt;EOF &gt; src/contract.sol
 pragma solidity ^0.8.19;
-import "ds-test/test.sol";
+import "forge-std/Test.sol";
 
-contract MyContract is DSTest {
+contract MyContract is Test {
   mapping (address =&gt; uint) balances;
   function prove_add_value(address recv, uint amt) public {
     require(balances[recv] &lt; 100);
@@ -363,9 +363,9 @@ <h2 id="fuzzing-versus-symbolic-execution"><a class="header" href="#fuzzing-vers
 bytecode, postconditions need to be explicit. Let's see an example:</p>
 <pre><code class="language-solidity">// SPDX-License-Identifier: MIT
 pragma solidity ^0.8.19;
-import "ds-test/test.sol";
+import "forge-std/Test.sol";
 
-contract MyContract is DSTest {
+contract MyContract is Test {
   uint balance;
   function test_overflow(uint amt) public {
     unchecked {
@@ -383,9 +383,9 @@ <h2 id="fuzzing-versus-symbolic-execution"><a class="header" href="#fuzzing-vers
 towards them. Let's see a simple one:</p>
 <pre><code class="language-solidity">// SPDX-License-Identifier: MIT
 pragma solidity ^0.8.19;
-import "ds-test/test.sol";
+import "foge-std/Test.sol";
 
-contract MyContract is DSTest {
+contract MyContract is Test {
   uint balance;
   function prove_multiply(uint amt, uint amt2) public {
     require(amt != 1);
@@ -1160,9 +1160,7 @@ <h2 id="using-forge-to-build-your-project-for-symbolic-execution"><a class="head
 Available options:
   -h,--help                Show this help text
   --root STRING            Path to project root directory (default: . )
-  --project-type PROJECTTYPE
-                           Is this a Foundry or DappTools project (default:
-                           Foundry)
+  --project-type PROJECTTYPE Foundry or CombinedJSON project
   --rpc TEXT               Fetch state from a remote node
   --number W256            Block: number
   --verbose INT            Append call trace: {1} failures {2} all
@@ -1251,9 +1249,7 @@ <h2 id="using-forge-to-build-your-project-for-symbolic-execution"><a class="head
   --rpc TEXT               Fetch state from a remote node
   --block W256             Block state is be fetched from
   --root STRING            Path to project root directory (default: . )
-  --project-type PROJECTTYPE
-                           Is this a Foundry or DappTools project (default:
-                           Foundry)
+  --project-type PROJECTTYPE Foundry or CombinedJSON project
   --initial-storage INITIALSTORAGE
                            Starting state for storage: Empty, Abstract (default
                            Abstract)
@@ -1429,9 +1425,7 @@ <h2 id="using-forge-to-build-your-project-for-symbolic-execution"><a class="head
   --rpc TEXT               Fetch state from a remote node
   --block W256             Block state is be fetched from
   --root STRING            Path to project root directory (default: . )
-  --project-type PROJECTTYPE
-                           Is this a Foundry or DappTools project (default:
-                           Foundry)
+  --project-type PROJECTTYPE Foundry or CombinedJSON project
 </code></pre>
 <p>Minimum required flags: either you must provide <code>--code</code> or you must both pass
 <code>--rpc</code> and <code>--address</code>.</p>

diff --git a/searchindex.js b/searchindex.js
diff --git a/searchindex.json b/searchindex.json
diff --git a/symbolic.html b/symbolic.html
@@ -221,9 +221,7 @@ <h1 id="hevm-symbolic"><a class="header" href="#hevm-symbolic"><code>hevm symbol
   --rpc TEXT               Fetch state from a remote node
   --block W256             Block state is be fetched from
   --root STRING            Path to project root directory (default: . )
-  --project-type PROJECTTYPE
-                           Is this a Foundry or DappTools project (default:
-                           Foundry)
+  --project-type PROJECTTYPE Foundry or CombinedJSON project
   --initial-storage INITIALSTORAGE
                            Starting state for storage: Empty, Abstract (default
                            Abstract)

diff --git a/test.html b/test.html
@@ -193,9 +193,7 @@ <h1 id="hevm-test"><a class="header" href="#hevm-test"><code>hevm test</code></a
 Available options:
   -h,--help                Show this help text
   --root STRING            Path to project root directory (default: . )
-  --project-type PROJECTTYPE
-                           Is this a Foundry or DappTools project (default:
-                           Foundry)
+  --project-type PROJECTTYPE Foundry or CombinedJSON project
   --rpc TEXT               Fetch state from a remote node
   --number W256            Block: number
   --verbose INT            Append call trace: {1} failures {2} all

diff --git a/when-to-use.html b/when-to-use.html
@@ -203,9 +203,9 @@ <h2 id="fuzzing-versus-symbolic-execution"><a class="header" href="#fuzzing-vers
 bytecode, postconditions need to be explicit. Let's see an example:</p>
 <pre><code class="language-solidity">// SPDX-License-Identifier: MIT
 pragma solidity ^0.8.19;
-import "ds-test/test.sol";
+import "forge-std/Test.sol";
 
-contract MyContract is DSTest {
+contract MyContract is Test {
   uint balance;
   function test_overflow(uint amt) public {
     unchecked {
@@ -223,9 +223,9 @@ <h2 id="fuzzing-versus-symbolic-execution"><a class="header" href="#fuzzing-vers
 towards them. Let's see a simple one:</p>
 <pre><code class="language-solidity">// SPDX-License-Identifier: MIT
 pragma solidity ^0.8.19;
-import "ds-test/test.sol";
+import "foge-std/Test.sol";
 
-contract MyContract is DSTest {
+contract MyContract is Test {
   uint balance;
   function prove_multiply(uint amt, uint amt2) public {
     require(amt != 1);