microsoft / Nova

Nova: High-speed recursive arguments from folding schemes
MIT License
702 stars 183 forks source link

Use expect_test for tests in src/circuit.rs and elsewhere #298

Open srinathsetty opened 8 months ago

srinathsetty commented 8 months ago

test_pp_digest in src/lib.rs uses expect_test for tests that have hardcoded constants/strings. We should apply this pattern to other tests (e.g., tests in src/circuit.rs that check the size of the verifier circuits).