search

adamtool / webinterface

The web interface for the tool Adam (AdamMC and AdamSYNT) providing an intuitive, visual definition of Petri nets with transits and Petri games, and an interactive interface to the algorithms of AdamMC and AdamSYNT. Contains the repos (as submodules): libs, framework, logics, modelchecking, examples, synthesizer, high-level, webinterface-backend.
http://adam.informatik.uni-oldenburg.de:4567/
GNU General Public License v3.0
5 stars 2 forks source link

MC: The symbols of the LTL operators cannot be used as input #85

Closed mgieseking closed 3 years ago

mgieseking commented 4 years ago

Formulas like 𝔸 ◻ ◯ ◇ pIn cannot be parsed from the input field on abe. On localhost this is working.

mgieseking commented 3 years ago

There was an encoding problem for the bash on abe. It couldn't even display the ascii characters. I added export LC_ALL=en_US.UTF-8 to the bashrc of our user and now it can display the ascii characters in the bash, but still they cannot be parsed.

mgieseking commented 3 years ago

Adding -Dfile.encoding=UTF-8 to the parameters when starting the server in commit 2ae95f2 fixed the problem.