Skip to content

Commit

Permalink
rename test function
Browse files Browse the repository at this point in the history
  • Loading branch information
jspada committed Dec 18, 2023
1 parent db84ee2 commit 7767692
Showing 1 changed file with 9 additions and 9 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,7 @@ let test_foreign_field_add ~valid_witness ?cs () =
in
cs

let test_conditional ~valid_witness ?cs () =
let test_configurable_gate ~valid_witness ?cs () =
let cs, _proof_keypair, _proof =
(* User-supplied conditional gate in RPN
* w(0) = w(1) * w(3) + (1 - w(3)) * w(2)
Expand Down Expand Up @@ -119,14 +119,14 @@ let () =
assert test_failed

(* Test Conditional (valid witness) *)
let _cs = test_conditional ~valid_witness:true ()
let _cs = test_configurable_gate ~valid_witness:true ()

(* Test Conditional (invalid witness) *)
let () =
let test_failed =
try
let _cs = test_conditional ~valid_witness:false () in
false
with _ -> true
in
assert test_failed
let test_failed =
try
let _cs = test_configurable_gate ~valid_witness:false () in
false
with _ -> true
in
assert test_failed

0 comments on commit 7767692

Please sign in to comment.