Promela Синтаксическая ошибка

Question

Я получаю синтаксическую ошибку, когда я пытаюсь запустить мой Promela код, ошибка говорит об ошибке: ошибка синтаксиса видел «фишку: ::»

, который со ссылкой на эту строку кода (строки 10 -13):

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

Я попытался добавить точку с запятой после КРП, а также после того, как фи, но ошибка, кажется, не уйти.

У кого-нибудь есть идеи?

Answer 1

Поместите \ перед каждой разрывом строки в определении макроса.

Вы можете проверить промежуточный текст (после макроподстановок) с spin -I check.pml