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.

See Also

The Determinacy Checker.

Send feedback on this subject.