spdet— Determinacy Checker
% spdet [-r] [-d] [-D] [-i ifile] fspec…
The determinacy checker can help you spot unwanted nondeterminacy in your programs. This tool examines your program source code and points out places where nondeterminacy may arise.
Process files recursively, fully checking the specified files and all the files they load.
Print out declarations that should be added.
Print out all needed declarations.
An initialization file, which is loaded before processing begins.
The Determinacy Checker.