search

Whiley / WhileyCompiler

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

Add Incremental Tests #1149

Closed DavePearce closed 2 years ago

DavePearce commented 2 years ago

Add new tests or modify existing tests, such that there are incremental changes involved.

DavePearce commented 2 years ago

At this stage, I have added a bunch of such tests. There is really a lot more which i could do though its not clear whether there is any real benefit at this stage.