true" title="Soundness Tests for `SeqInstTable` and `SequenceConfig` (#1323) * more verification on positive tests Signed-off-by: noelwei <fan@scroll.io> * prerequisite for negative tests Signed-off-by: noelwei <fan@scroll.io> * negative mock framework for inst table Signed-off-by: noelwei <fan@scroll.io> * negative sample Signed-off-by: noelwei <fan@scroll.io> * more negative samples Signed-off-by: noelwei <fan@scroll.io> * extend testing framework Signed-off-by: noelwei <fan@scroll.io> * negative test framework Signed-off-by: noelwei <fan@scroll.io> * negative tests Signed-off-by: noelwei <fan@scroll.io> * more negative tests Signed-off-by: noelwei <fan@scroll.io> * more negative tests Signed-off-by: noelwei <fan@scroll.io> * more negative tests Signed-off-by: noelwei <fan@scroll.io> --------- Signed-off-by: noelwei <fan@scroll.io>" class="color-fg-default" href="/scroll-tech/zkevm-circuits/pull/1385/commits/3d9a8017c3e243cb2e9a7253e15d373e0d0c0006">Soundness Tests for SeqInstTable and SequenceConfig (#1323 )

Commits

Commits on Jul 30, 2024

Soundness Tests for SeqInstTable and SequenceConfig (#1323)

Soundness Tests for BitstringTable (#1309)

Soundness Tests for LiteralsHeaderTable (#1319)

Merge branch 'develop' into tests/da-compression-soundness

Commits on Aug 29, 2024

Merge branch 'develop' into tests/da-compression-soundness

chore(fix): typos

chore(fix): part 2 typos

Soundness Tests for `SeqInstTable` and `SequenceConfig` (#1323 )

Soundness Tests for `BitstringTable` (#1309 )

Soundness Tests for `LiteralsHeaderTable` (#1319 )