9.6 The Determinacy Checker

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. It is not in general possible to find exactly which parts of a program will be nondeterminate without actually running the program, but this tool can find most unwanted nondeterminacy. 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

Send feedback on this subject.