-
Notifications
You must be signed in to change notification settings - Fork 4
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.
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
Subgraph #31
base: master
Are you sure you want to change the base?
Subgraph #31
Conversation
…anges, no compiling error
this is debugg seems unnecesary
the newly added line after [assin] in z3 log will no longer cause 'wrongline' in console
What is the correct way to compile this PR? I tried with the Dockerfile that I just added to the master branch but I get the following error: Click to expand
|
I am not familiar with using xbuild, but the program compiles fine in Visual Studio even after fetch and merge. |
Changed how the program finds paths and the pattern of the path.
Changed 'explain path' to 'explain subgraph'