Prism 6.0 Reference Manual

EXAMPLE

(prism foo) pstatus 
process 0: interrupted in procedure "make_move" at "chess.c":1261
process 1: running
processes 2,3: interrupted in procedure "bishop_moves" at
"chess.c":478
processes 4,5: interrupted in procedure "knight_moves" at
"chess.c":383
processes 6,7: interrupted in procedure "generate_moves" at
"chess.c":883