Introduce `incompleteGlobal` analysis round, other changes #128

Sign in to view logs

GitHub Actions / Test Results (Souffle 2.4) succeeded Dec 15, 2023 in 0s

All 46 tests pass in 24m 7s

46 tests 46 ✔️ 24m 7s ⏱️
  1 suites   0 💤
  1 files   0 ❌

Results for commit fd45249.

View more details on GitHub Actions