Skip to content

Make stepper update with elaboration #4985

Make stepper update with elaboration

Make stepper update with elaboration #4985

GitHub Actions / Test Report succeeded May 17, 2024 in 0s

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