[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

problem on typechecking



I don't seem to be able to typecheck the attached file. PVS seems to hang up, 
and doing a pvs-status produces:

stat = (pvs::lisp (progn (ILISP:ilisp-save) (lisp (pvs-errors (typecheck-file 
"chunnel" nil nil nil)))^J)) - pvs may need resetting.

Richard.

chunnel.pvs