2.6
output checking added. Programs can be be stopped mid-execution with… … description of program state if they produce incorrect output
output checking added. Programs can be be stopped mid-execution with… … description of program state if they produce incorrect output