Skip to content

Introduce LoopNext relation, change BlockInStructuredLoop semantics. #333

Introduce LoopNext relation, change BlockInStructuredLoop semantics.

Introduce LoopNext relation, change BlockInStructuredLoop semantics. #333

GitHub Actions / Test Results (Souffle 2.4) succeeded Oct 6, 2025 in 0s

All 61 tests pass in 51m 1s

61 tests  ±0   61 ✅ ±0   51m 1s ⏱️ + 3m 18s
 1 suites ±0    0 💤 ±0 
 1 files   ±0    0 ❌ ±0 

Results for commit 6853efb. ± Comparison against earlier commit e91eec0.