Я новичок в промеле и СПИНе. У меня есть небольшой код в промеле, но я не понимаю, почему у меня указанная ниже ошибка:
chan config =[16] of {short};
bool get_type = false;
short car_type = 4;
active proctype control() {
start:
do
:: get_type == false ->
config!car_type;
printf("type sent");
:: printf("type not received");
od
}
active proctype robot() {
sleep:
config?car_type ->
get_type = true ;
printf("type received= %d", car_type);
}
Ошибка:
using statement merging
1: proc 0, no matching stmnt 91
#processes: 2
1: proc 1 (robot:1) mytest.pml:16 (state 1)
1: proc 0 (control:1) mytest.pml:7 (state 5)
2 processes created
Exit-Status 0