Skip to content

Implemented editable 'provided tests' in the Test Validation Report #5901

Implemented editable 'provided tests' in the Test Validation Report

Implemented editable 'provided tests' in the Test Validation Report #5901

GitHub Actions / Test Report succeeded Oct 6, 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

Dynamics.Elaboration
  ✅ 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