the jbmc tests now work on Windows#2495

Merged

kroening merged 2 commits intodevelopfrom

aws-codebuild-windows-jbmc-tests

Jul 19, 2018

Commits on Jul 17, 2018

the jbmc tests now work on Windows

Daniel Kroening
authored and
tautschnig
committed
Remove trailing newlines that trip up regex on Windows

peterschrammel
authored and
tautschnig
committed