Skip to content

Implemented theory of Arrays #21

Implemented theory of Arrays

Implemented theory of Arrays #21

GitHub Actions / Test Results succeeded Mar 1, 2024 in 0s

All 3 483 tests pass, 38 skipped in 2m 41s

   11 files  ±0     11 suites  ±0   2m 41s ⏱️ -19s
3 521 tests +1  3 483 ✅ +2  38 💤 ±0  0 ❌  - 1 
3 641 runs  +1  3 603 ✅ +2  38 💤 ±0  0 ❌  - 1 

Results for commit e5a607f. ± Comparison against earlier commit ad287c7.