demo of the runner workflow

HerodotusDev · Dec 25, 2023 · 3df1300 · 3df1300
1 parent 0196c33
commit 3df1300
Show file tree

Hide file tree

Showing 7 changed files with 5,189 additions and 2 deletions.
diff --git a/.tool-versions b/.tool-versions
@@ -1 +1 @@
-scarb 2.4.0
+scarb 2.4.1
diff --git a/Scarb.toml b/Scarb.toml
@@ -1,3 +1,6 @@
 [package]
 name = "cairo_verifier"
 version = "0.1.0"
+
+[lib]
+sierra-text = true
diff --git a/runner/README.md b/runner/README.md
@@ -0,0 +1,19 @@
+Tu run cairo verifier follow this steps
+
+build the latest version of the verifier to create sierra file
+
+```
+scarb build
+```
+
+install cairo-args-runner
+
+```
+cargo install cairo-args-runner
+```
+
+run the sierra file
+
+```
+cairo-args-runner target/dev/cairo_verifier.sierra < runner/resources/ready_input.json
+```