Extending Strata

Jump to bottom

Sandeep Dasgupta edited this page Mar 20, 2018 · 3 revisions

Different ways to test the formulas (BVF) /instruction sequence (IS)

Two ISs
- If possible to built the corresponding BVFs (Strong)
  - Bounded verify
- Else
  - Holdout verify
  - tests::validator::common::assert_sandbox
- Two BVFs
  - Bounded verify
  - Specgen compare
- BVF & IS
  - check_cuitcuit