Update test-gen-support#705

Merged

forejtv merged 31 commits intodiffblue:test-gen-supportfrom

peterschrammel:pull-from-master

Mar 28, 2017

Commits on Mar 20, 2017

Fix several test problems on Windows
forejtv
committed

Commits on Mar 22, 2017

Commits on Mar 23, 2017

Commits on Mar 24, 2017

Commits on Mar 25, 2017

Merge pull request #696 from tautschnig/user-visible-changes
kroening
authored
Merge pull request #693 from owen-jones-diffblue/cleanup/java-object-factory
kroening
authored
Merge pull request #681 from peterschrammel/no-assertions-for-user-only
kroening
authored

Commits on Mar 27, 2017

Merge branch 'master' of github.com:diffblue/cbmc into pull-from-master
peterschrammel
committed