Thanks for your help!
I successfully installed ltsmin. Now I am learning the paper "LTSmin: High-Performance Language-Independent Model Checking"
In this paper, the Sokoban example was given. I tried to reproduce this example. When I execute this command for compilation
gcc told this:
Perhaps it is due to the update of the ltsmin version, so I would like to ask how to solve this problem? (Maybe using new functions and macro definitions?)
Thanks for your help! I successfully installed ltsmin. Now I am learning the paper "LTSmin: High-Performance Language-Independent Model Checking"
In this paper, the Sokoban example was given. I tried to reproduce this example. When I execute this command for compilation
gcc told this:
Perhaps it is due to the update of the ltsmin version, so I would like to ask how to solve this problem? (Maybe using new functions and macro definitions?)