This packages provides OpenJML's ESC tool to Atom.
In order to use this package you need to install OpenJML and a supported version of Z3.
After installing OpenJML and Z3 make sure to set the correct paths in the settings of this package.
If one of the paths contains whitespaces, make sure to enclose the path with
AFTER DOING CHANGES TO THE SETTINGS YOU NEED TO RESTART ATOM!
Instead of restarting you can reload Atom, too. (Default: ctrl-shift-F5)
Check the keybindings in the package settings to run OpenJML ESC!
Alternatively you can run the following commands with the Atom command palette (Default: ctrl-shift-p):
openjml-esc:toggletoggles the visibility of the OpenJML ESC panel.
openjml-esc:runsaves the currently opened file and runs OpenJML ESC.
Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.