(model-check) problem

[Jean-François Molderez <jfm@cetic.be>]

Hello,

when I try the prover strategy (model-check) , I get the following :

"could not decode binary encoding of scalars "

(see file attached)

Can you help me ?

 

Thank you                JF Molderez (jfm@cetic.be)

peterson_problem