source: CIVL/examples/languageFeatures/assignInput.cvl@ 3dbdc037

1.23 2.0 main test-branch
Last change on this file since 3dbdc037 was 53a547e, checked in by Manchun Zheng <zmanchun@…>, 12 years ago

check and report error when an input/constant variable is being modified.

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@791 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100644
File size: 119 bytes
Line 
1#include <civlc.h>
2
3$input int N;
4
5void main(){
6 int x = N;
7
8 $assert(x == N);
9 N = x + 1;
10 $assert(x+1 == N);
11}
Note: See TracBrowser for help on using the repository browser.