[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

(model-check) problem



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