Promela语法错误

Question

当我尝试运行promela代码时收到语法错误，错误显示错误：语法错误看到＆＃39; token :::＆＃39;

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

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

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

有人有什么想法吗？

Answer 1

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

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