At the moment, invalid tests are not always executable. In some cases this is fine (i.e. because they will fail type checking or similar); however, in other cases (e.g. where problems are related to verification properties) then we can execute them and check that they go wrong at runtime.
DavePearce
commented
2 years ago
(see also #978)
At the moment, invalid tests are not always executable. In some cases this is fine (i.e. because they will fail type checking or similar); however, in other cases (e.g. where problems are related to verification properties) then we can execute them and check that they go wrong at runtime.