Ross Nicoll 162d19deeb Change how clause verification is called ...

Change away from extending ClauseVerifier for contracts which support clauses, and explicitely call
clause verification code in the verify() function. This should make the flow of control easier to understand.

2016-08-11 15:39:11 +01:00

..

isolated

Cleaned up build.gradle files.

2016-07-28 09:17:49 +01:00

src

Change how clause verification is called

2016-08-11 15:39:11 +01:00

build.gradle

Cleaned up build.gradle files.

2016-07-28 09:17:49 +01:00