Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

running tests on MacOS #92

Open
shazqadeer opened this issue Jun 22, 2019 · 1 comment
Open

running tests on MacOS #92

shazqadeer opened this issue Jun 22, 2019 · 1 comment

Comments

@shazqadeer
Copy link
Collaborator

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
Copy link
Contributor

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@akashlal @shazqadeer