vsrl-framework icon indicating copy to clipboard operation
vsrl-framework copied to clipboard
verified publisher icon IBM

Fix java path finding

Open nrfulton opened this issue 5 years ago • 0 comments

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

https://github.com/IBM/vsrl-framework/blob/ded48a72af9b413cfa4a99b90e0c5b09a092639b/vsrl/verifier/keymaerax.py#L37

nrfulton avatar Jul 10 '20 14:07 nrfulton