search

netarch / neo

A network testing tool combining formal model checking and container-based emulation that covers in-network non-determinism
Other
8 stars 4 forks source link

Spin error #9

Closed kyechou closed 3 years ago

kyechou commented 3 years ago

Thank you, it works! However, we encounter another issue in the following step with cmake version 3.19:

~/neo# cmake --build build -j$(nproc)
[  1%] Generating pan.c, pan.h
spin: /root/neo/src/network.pml:78, Error: syntax error saw 'a constant'
spin: /root/neo/src/network.pml:82, Error: syntax error saw 'token: ::'
spin: /root/neo/src/network.pml:83, Error: syntax error saw 'keyword: od' near 'od'
spin: /root/neo/src/network.pml:87, Error: missing '}' ?
spin: /root/neo/src/network.pml:82, Error: undefined label :b0
CMakeFiles/spin_model.dir/build.make:89: recipe for target 'pan.c' failed
make[2]: *** [pan.c] Error 1
CMakeFiles/Makefile2:183: recipe for target 'CMakeFiles/spin_model.dir/all' failed
make[1]: *** [CMakeFiles/spin_model.dir/all] Error 2
Makefile:148: recipe for target 'all' failed
make: *** [all] Error 2

Originally posted by @kaiyuhou in https://github.com/netarch/neo/issues/8#issuecomment-793170090

kyechou commented 3 years ago

@kaiyuhou Thanks for reporting! It seems that this is also caused by the older version packages shipped by ubuntu. I will update the README for setting up the newer version of Spin. In the mean time, could you please try the latest release of Spin? Or you could simply execute depends/setup.sh for installing the latest revision, which should take care of every dependencies needed, if you want to have working environment and if you don't mind not using the system's package manager.

kyechou commented 3 years ago

@kaiyuhou, I just updated README and tested the setup in ubuntu 18, so I'll close the issue for now. Please feel free to reopen the issue or open new issues if there's any further questions.