Forum Jar
 
Forum Jar : NuSMV Forum : NuSMV error "Value cannot be assigned"
See other topics in NuSMV Forum

NuSMV Forum
 
Important rules for using NuSMV Forum
• No offensive words are allowed in this forum.
• To prevent spams, you must not use the words "http" ".com" or "/"(slashes) in this forum.
 

Alert! Please do not buy anything or pay anyone on this forum. Scammers have been reported on our forum. Please also do not go to any links posted on here. We have been reported about links to websites that contain viruses. Thank you.

 
Topic: NuSMV error "Value cannot be assigned"
for the following variable
VAR
z : 0..20 ;
next (z):= case
!(E1) & E2 : (z+2);
!(E2) & E1 : (z +(-1));
!E2 & !E1 : z+1;
TRUE : z;
esac;

error is reported as "Value 21 cannot be assigned to z"

if the VAR declaration is modified to z: 0..25, the error updates to "Value 26 cannot be assigned"

Can someone please shed some light on this ?

by Chintan Wed Aug 16 13:17:00 UTC 2017


by label Mon Aug 28 04:43:14 UTC 2017
 
Post a new comment
 
Message:

Name (optional):


By posting a comment, you indicate that you have agreed to our terms of use.

Feel adventurous? Check out random forums on Forum Jar!
Related Forums
Symbolic model verification Forum
Model checker Forum
Trento Forum
Italy Forum
Carnegie Mellon University Forum
University of Genoa Forum
University of Trento Forum
Binary Decision Diagrams Forum
Open source Forum
Boolean satisfiability problem Forum


sponsored links: free polls | free chat rooms (weirdtown chat) | widgets for myspace | make chat room | free chat room list | review websites | snowboard or ski | chat vocab

terms of use | privacy policy
©2011 forumjar.com All rights reserved.