running tests on MacOS - Githubissues

boogie-org / corral

solver for the reachability modulo theories problem

MIT License

58 stars 29 forks source link

running tests on MacOS #92

Open shazqadeer opened 5 years ago

shazqadeer commented 5 years ago

I built Corral on Mac OS today using Visual Studio. After that, I tried to run the regression tests but that didn't work.

shaz-mbp:regression shaz$ perl check.pl File 001\001.bpl does not exist

I think the issue is that the path separator on Unix is / not .

akashlal commented 5 years ago

Fixing the perl script is easy, but this also requires changing the way corral parses flags. For instance, corral currently accepts flags like /recursionBound:3 but it should accept -recursionBound:3 as well (because the former wont work on unix style). Will do in spare time.