Replacing C-like input/output with C++ style code, some other changes#22

Open

eigold wants to merge 19 commits intomasterfrom

Commits on Jun 30, 2017

moved directories of ic3 regression tests, changed handling cases of unimplemented properties
eigold
committed
replaced some printf operators with 'cout <<'
eigold
committed

Commits on Jul 5, 2017

started replacing 'std::cout' with pre-defined ebmc streams
eigold
committed

Commits on Jul 7, 2017

replaced a new portion of 'std::cout's with messages
eigold
committed
replaced yet another portion of 'std::cout's with messages
eigold
committed
done with replacing 'std::cout's with messages in the root directory (i.e. ebmc/ic3)
eigold
committed

Commits on Jul 8, 2017

done with replacing 'std::cout's with messages
eigold
committed

Commits on Jul 11, 2017