Back to table

not declared test

The following is an invalid µOCCAM program. Variable 'program' is not assigned and therefore is invalid when called

Program file: /public/cs3/web/ipptests/notdec.reject
-- This test has two assignments and then tries to operate on them

INT bad :
INT test :

SEQ

  PAR
    bad := 50 
    test := 37    

  SEQ
    bad := bad - test + program -- program hasn't been assigned