How to test any .rs file

[Subway2023]

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);