Inductive counterexamples and SMT interface tweaks
Merge branch 'develop' of github.com:chsticksel/kind2 into develop
Removed duplicate output
Number of defaults in condacts must match outputs
Type check defaults against outputs in condact
Bugfix after moving verbosity flags to Lib
Output counterexamples with failed properties
Merge pull request #111 from chsticksel/develop

Output counterexamples with failed properties