spin - Promela 语法错误

Question

当我尝试运行我的 promela 代码时，我收到一个语法错误，错误显示 Error: syntax error saw 'token: ::'

这是指这行代码（第 10-13 行）：

#define IniRunning(x,y) if
                    :: ((x==A) && (y==B)) -> IniRunningAB = 1
                    :: else skip
                    fi

我试图在 if 和 fi 之后添加一个分号，但错误似乎并没有消失。

有人有想法么？

Answer 1

放在\宏定义中的每个换行符之前。

您可以检查中间文本（宏扩展后） spin -I check.pml