我试图通过使用 -DMEMLIMIT 标志来限制 PROMELA 使用的最大内存，如下所示。
./spin -a -DMEMLIMIT=1024 code.pml
但是，内存仍然在不断增加。知道吗，为什么会这样？
最佳答案
-DMEMLIM=N 是传递给 gcc 的编译器标志。它是这样工作的:
./spin -a 代码.pml gcc -DMEMLIM=1024 -o pan pan.c ./平移
您还可以添加更多标志来强制更好地压缩状态，例如 -DCOLLAPSE，这是减少所需内存量的一种非常快速的方法。
关于c - 如何限制PROMELA使用的内存？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/21184644/