HEL 064702fe13 tests: update with newly reported judgements

2026-06-15 00:03:33 +02:00

..

01_simple_types.py

tests: add tests for type checker

2026-05-29 19:08:58 +02:00

01_simple_types.py.ref.json

feat(tests): add judgements to test results

2026-06-06 16:58:13 +02:00

02_simple_operations.py

tests: add tests for type checker

2026-05-29 19:08:58 +02:00

02_simple_operations.py.ref.json

tests: update tests

2026-06-15 00:03:33 +02:00

03_functions.py

tests: add tests for type checker

2026-05-29 19:08:58 +02:00

03_functions.py.ref.json

tests: update with newly reported judgements

2026-06-15 00:03:33 +02:00

04_custom_types.midas

tests: update tests

2026-06-15 00:03:33 +02:00

04_custom_types.py

fix(tests): remove custom imports

2026-06-05 10:48:46 +02:00

04_custom_types.py.ref.json

feat(tests): add judgements to test results

2026-06-06 16:58:13 +02:00

05_control_flow.py

tests(checker): add control flow test

2026-06-01 14:22:03 +02:00

05_control_flow.py.ref.json

tests: update with newly reported judgements

2026-06-15 00:03:33 +02:00

06_subtyping.py

tests: update tests

2026-06-15 00:03:33 +02:00

06_subtyping.py.ref.json

tests: update with newly reported judgements

2026-06-15 00:03:33 +02:00