Top-Level Assert / Assume

Whiley / RFCs

Request for Comment (RFC) proposals for substantial changes to the Whiley language.

3 stars 2 forks source link

Open DavePearce opened 3 years ago

DavePearce commented 3 years ago

Currently. tests are written like so:

public method test_1():
    assume !match("a","b")

However, they could be written as top-level assert and assume statements. This would offer a slightly clearer syntax (I think).