Skip to content

Fix sum cast accumulation #4993

Fix sum cast accumulation

Fix sum cast accumulation #4993

GitHub Actions / Test Report succeeded May 20, 2024 in 1s

9 passed, 0 failed and 0 skipped

Tests passed successfully

✅ junit_tests.xml

9 tests were completed in 0ms with 9 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
Dynamics 9✅ 0ms

✅ Dynamics

✅ Single integer
✅ Empty hole
✅ Free variable
✅ Let expression
✅ Inconsistent binary operation
✅ Consistent if statement
✅ Application of function on free variable
✅ Inconsistent case statement
✅ Let expression for a function