Check all properties with property option#263

Closed

peterschrammel wants to merge 5 commits intodiffblue:masterfrom

peterschrammel:do-all-properties-with-property-option

Commits on Sep 17, 2016

line terminators
Peter Schrammel
committed
merge line terminators
Peter Schrammel
committed

Commits on Oct 22, 2016

Merge branch 'master' of github.com:diffblue/cbmc into master
peterschrammel
committed
check all properties if multiple --property p options present on command line
peterschrammel
committed
allow comma-separated list of properties with --property option
peterschrammel
committed