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

t_bad_caselabel.mod 98 B
Permalink History Raw

1234 
  1. MODULE TCase;
    2. 

  2. VAR b : BOOLEAN; x : INTEGER;
    3. 

  3. BEGIN CASE b OF 1 : x := 1 ELSE x := 2 END
    4. 

  4. END TCase.
    5.