Home Explore Help
Sign In
eric
/
CocoR
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: master
Branches Tags
CocoR
/
Test2
/
tests
/
q_bad_set.mod

q_bad_set.mod 100 B
Permalink History Raw

123456 
  1. MODULE QBadSet;
    2. 

  2. VAR s : SET OF [0 .. 7]; x : INTEGER;
    3. 

  3. BEGIN
    4. 

  4.   x := 1;
    5. 

  5.   s := {1, 2, 3}
    6. 

  6. END QBadSet.
    7.