Fix PATH separator and CMake syntax to make cbmc-cprover-smt2 tests work on Windows#5573

Merged

tautschnig merged 1 commit intodiffblue:developfrom

tautschnig:debug-winbug

Nov 20, 2020

Commits on Nov 19, 2020

Fix PATH separator and CMake syntax to make cbmc-cprover-smt2 tests work on Windows
tautschnig
committed