Node:3.9 Determinacy Checker, Next:3.9 Cross-Referencer, Previous:3.9 Message and Query System, Up:3.9 Changes
The determinacy checker, spdet
, is a new, powerful tool
originally written by Dave Bowen and Peter Schachte.
The determinacy checker can help you spot unwanted nondeterminacy in your programs. This tool examines your program source code and points out places where unintended nondeterminacy may arise. Unintended nondeterminacy should be eradicated because