This repository has been archived by the owner on Jul 22, 2024. It is now read-only.

Fix java path finding #2

Open

nrfulton opened this issue Jul 10, 2020 · 0 comments

Contributor

nrfulton commented Jul 10, 2020

Move the java path into the configuration file, using java as a default. Check that the java version comports with what KeYmaera X expects.

vsrl-framework/vsrl/verifier/keymaerax.py

Line 37 in ded48a7

"java": ["/Users/nathan@ibm.com/.jenv/shims/java"],

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.