JSConTest - Test Framework - Function - Simple Boolean

This test suite run some contract checks to check if the generators are working correct. There are two event handlers registered. One checks if the contract behaves as expected. The other prints the usual contract output to the page.

If something unexpected happens, the first event handler will add an log message into the error box below. This may indicate, that JSConTest does not work correctly in your browser, either due to the fact that your browser does not support a feature JSConTest rely on, or because JSConTest has an error.

In this suite we expect two contracts to fail, and two to be successful. The two failing one should produce two counter examples.

Error log: