Regression tests for code contracts#2309

Merged

tautschnig merged 1 commit intodiffblue:developfrom

qaphla:regression

Jun 12, 2018

Commits on Jun 12, 2018

Added an initial set of tests for contracts, which (expectedly) either fail or
klaas
committed