Startseite Erkunden Hilfe
Anmelden
eric
/
CocoR
1
0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Branch: master
Branches Tags
CocoR
/
Test2
/
tests
/
q_bad_set.mod

q_bad_set.mod 100 B
Permalink Verlauf Originalformat

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.