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

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

Fix java path finding #2

Open

opened

on 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"],

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests