Promela 语法错误

Question

我在尝试 运行 我的 promela 代码时收到语法错误，错误显示错误：语法错误看到 '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