Determinacy Checker

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

1. it may give you wrong answers on backtracking
2. it may cause a lot of memory to be wasted

See The Determinacy Checker.