Run cbmc c++ regression as part of default regression test#1481

Merged

tautschnig merged 3 commits intodiffblue:developfrom

andreast271:do-c++-regression

Nov 3, 2017

Commits on Oct 13, 2017

Run cbmc c++ regression as part of default regression test
andreast271
committed

Commits on Oct 16, 2017

Add tests to cmake regression: cbmc-cover, cbmc-cpp, goto-analyzer-taint
andreast271
committed
Disable cbmc-cpp tests in appveyor, which runs regression on windows.
andreast271
committed