cleanup

ethereum · Mar 11, 2022 · 75c4a4a · 75c4a4a
1 parent 4fe67a6
commit 75c4a4a
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/crates/fv/src/lib.rs b/crates/fv/src/lib.rs
@@ -28,8 +28,9 @@ pub fn run_spec(name: &str, src_path: &str, src: &str, spec: &str) -> Result<(),
         .arg("--backend")
         .arg("haskell")
         .arg("--format-failures")
-        // .arg("--directory")
-        // .arg("tests/specs/erc20/verification/haskell")
+        // we should define out own verification module
+        .arg("--directory")
+        .arg("tests/specs/erc20/verification/haskell")
         .env("PATH", format!(".build/usr/bin:{}", path))
         .current_dir(&kevm_path)
         .output()

diff --git a/crates/test-files/fixtures/kspecs/sanity/foo.fe b/crates/test-files/fixtures/kspecs/sanity/foo.fe
@@ -7,6 +7,7 @@ contract Returns42:
             evm::mstore(0, 42)
             evm::return_mem(0, 32)
 
+
 # always returns `input`
 contract ReturnsIn:
     pub fn __call__():
@@ -15,6 +16,7 @@ contract ReturnsIn:
             evm::mstore(0, input)
             evm::return_mem(0, 32)
 
+
 # returns `input`, except when `input == 42`, in which case it will return `26`
 contract ReturnsInCond:
     pub fn __call__():