adjusted the command line options for the pid controller case study#300

Merged

kroening merged 1 commit intodiffblue:masterfrom

theyoucheng:case-study

Apr 3, 2017

Commits on Nov 10, 2016

adjusted the command line for the pid controller case study with a better look output test suites
theyoucheng
committed