Whiley / WhileyCompiler

The Whiley Compiler (WyC)
http://whiley.org
Apache License 2.0
217 stars 36 forks source link

Automatically Identify Tests which now Pass #1139

Closed DavePearce closed 2 years ago

DavePearce commented 2 years ago

With the new testing system, it should be possible to automatically identify tests which now pass. Basically, we let the test run and then, based on the ignore information, determine the outcome appropriately. For example, if the test passes but is ignored then we fail the test with this as the outcome. On the other hand, if the test fails and is ignored then we are happy and we skip it as before.