Open jacopol opened 1 year ago
ad (3) above:
A better solution would be to link ncurses statically into divine, if possible.
The error message I bumped into was:
> dve2lts-sym elevator.3.dve
dve2lts-sym: opening elevator.3.dve
divine: error while loading shared libraries: libncurses.so.5: cannot open shared object file: No such file or directory
dve2lts-sym, ** error **: File not found: /tmp/ltsmin-Ktl5tI/elevator.3.dve2C
To use LTSmin, I needed a few extra steps:
(1) rather standard: wget https://github.com/utwente-fmt/ltsmin/releases/download/v3.0.2/ltsmin-v3.0.2-linux.tgz tar xzvf ltsmin-v3.0.2-linux.tgz mv v3.0.2 ltsmin-v3.0.2
(2) For dve and promela, we need to add divine and spins to the path:
(replace ... with the actual path where you unpacked/moved ltsmin-v3.0.2) add to .bash_profile: PATH=".../ltsmin-v3.0.2/bin:$PATH"
(3) For dve, we additionally need ncurses5:
sudo apt-get install libncurses5