Whiley / WhileyCompiler

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

Test Framework Unexpected Early Completion #1152

Closed DavePearce closed 2 years ago

DavePearce commented 2 years ago

The test framework currently does not continue onto subsequent frames once a stage has returned an error. This is problematic as I want to see errors from both the interpreter and the verifier. The reasoning behind this choice is that we cannot do anything if the initial compile fails.