Why do I get an error like this in promela?

Asked Jun 17 '20 at 11:42

Active Jun 25 '20 at 12:58

Viewed 186 times

I am a beginner with promela and SPIN. I have a small code in promela but I do not understand why I have the error mentioned below:

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);
}

Error:

    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

edited Jun 25 '20 at 12:58

tripleee

175,061
34
275
318

asked Jun 17 '20 at 11:42

KHOUASS Abderrahmene

@PatrickTrentin , thank you , i made the code – KHOUASS Abderrahmene Jun 18 '20 at 22:41
@PatrickTrentin , thank you for your advise, i changed my code to minimal and reproducible one , home i will get some help , thank you – KHOUASS Abderrahmene Jun 19 '20 at 13:40
@PatrickTrentin all variables are declared, i didn't made it here .i will update the code to can see them – KHOUASS Abderrahmene Jun 19 '20 at 15:21
@PatrickTrentin i updated the code. thank you for your help – KHOUASS Abderrahmene Jun 19 '20 at 15:32
@PatrickTrentin, i think i resolved the error was on file , i changed the file .pml and i past the same code , and now it work !! i do not know why ! do you have an idea ? – KHOUASS Abderrahmene Jun 20 '20 at 15:33

Why do I get an error like this in promela?

0 Answers0