Commit aa1dabf
committed
fix: skip heavy recursion tests in debug builds to fix nightly CI
Adds AvmRecursionConstraintTest, ECCVMRecursiveTests,
GoblinRecursiveVerifierTests, GoblinAvmRecursiveVerifierTests,
BoomerangGoblinRecursiveVerifierTests, BoomerangGoblinAvmRecursiveVerifierTests,
BoomerangTwoLayerAvmRecursiveVerifierTests, and TwoLayer AVM recursion
variants to the debug-build skip list. These take 7-10+ min in debug
mode, exceeding the 600s CI timeout.
Debug assertion audit: none of the newly skipped suites exercise unique
debug-only (#ifndef NDEBUG) code paths. The only debug-specific path
(native_verification_debug in honk_recursion_constraint.cpp) is already
covered by the retained HonkRecursionConstraintTestWithoutPredicate/1
test.1 parent d092fef commit aa1dabf
1 file changed
Lines changed: 3 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
245 | 245 | | |
246 | 246 | | |
247 | 247 | | |
248 | | - | |
| 248 | + | |
249 | 249 | | |
250 | 250 | | |
251 | 251 | | |
252 | | - | |
| 252 | + | |
| 253 | + | |
253 | 254 | | |
254 | 255 | | |
255 | 256 | | |
| |||
0 commit comments