13.4 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.
- -i ifile
- An initialization file, which is loaded before processing begins.
The Determinacy Checker.
Send feedback on this subject.