Skip to content

[build|test] adding counter-examples and their related error logs

Julien requested to merge julien@counter-examples into master

It is important to test that malformed programs are rejected by the typechecker. This work starts with a few counter-examples which should fail.

Merge request reports