Add zcxi in Cargo.toml

circify · Oct 30, 2024 · cdbc804 · cdbc804
1 parent 95e58e3
commit cdbc804
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -93,6 +93,10 @@ required-features = ["bellman", "poly"]
 name = "zxi"
 required-features = ["smt", "zok"]
 
+[[example]]
+name = "zcxi"
+required-features = ["smt", "zokc"]
+
 [[example]]
 name = "zxc"
 required-features = ["smt", "zok"]

diff --git a/driver.py b/driver.py
@@ -16,6 +16,7 @@
     "r1cs",
     "smt",
     "zok",
+    "zokc",
     "datalog",
     "bellman",
     "spartan",
-Original file line number
+Diff line change
@@ Expand Up / @@ -16,6 +16,7 @@ @@
         "r1cs",
         "smt",
         "zok",
+        "zokc",
         "datalog",
         "bellman",
         "spartan",
@@ Expand Down @@