The --noequality flag doesn't work

[billy-mosse]

Daikon Version: 5.5.14 O.S.: Ubuntu 16.04.1

When I run the StackAr java example, if I include the --noequality flag, it doesn't get recognized.

Code (standing in the daikon folder):

cd examples/java-examples/StackAr
javac -g DataStructures/*.java
java -cp "../../../daikon.jar:." daikon.DynComp DataStructures.StackArTester

java -cp .:$CLASSPATH daikon.Chicory \
     --comparability-file=StackArTester.decls-DynComp \
     DataStructures.StackArTester

java daikon.Daikon --noequality StackArTester.dtrace.gz

Output:

daikon.Daikon: unrecognized option '--noequality'
Daikon version 5.5.x, released January 5, 2017; http://plse.cs.washington.edu/daikon.
Daikon invariant detector, copyright 1998-2016
Uses the Java port of GNU getopt, copyright (c) 1998 Aaron M. Renn
Usage:
    java daikon.Daikon [flags...] files...
  Each file is a declaration file or a data trace file; the file type
  is determined by the file name (containing ".decls" or ".dtrace").
  For a list of flags, see the Daikon manual, which appears in the 
  Daikon distribution and also at http://plse.cs.washington.edu/daikon/.

An observation is that when I replace --noequality by --nohierarchy (another flag), it works. Another observation is that I don't see the flag in Daikon.java either.

I see this switch: public static final String no_dataflow_hierarchy_SWITCH = "nohierarchy"; but not one for noequality. I do see the following boolean:

public static boolean use_equality_optimization = true;

which I set to false manually so I can continue working.

Cheers! Tell me if you need more info. Billy

[markro49]

As you noted, the documentation is out of date. The next version of daikon will both document and expose the use_identity_optimization switch.