search

quantstamp / halo2-analyzer

SMT 2023 Submission; license pending
52 stars 10 forks source link

How to test any .rs file #63

Open Subway2023 opened 1 month ago

Subway2023 commented 1 month ago

A bug report reported a bug (ModGadget is underconstrained) in modulo.rs, and I want to test whether halo2-analyzer can detect this bug.

I don't know how to test modulo.rs because the circuit variable cannot be directly obtained in modulo.rs, unlike the example given in integration_tests_scroll.rs.

integration_tests_scroll.rs

let circuit = sample_circuits::math_gadget::test_util::UnitTestMathGadgetBaseCircuit::<sample_circuits::math_gadget::test_util::modulo::ModGadgetTestContainer>::new(K, witnesses);