Remove invariant from output

[Tsarsko Petrovich]

Hello,

I am experimenting with Daikon and want to add a new output format, and I am not interested in invariants regarding Strings.

I believed in order to keep those from appearing in Daikon's output, all I had to do was to comment their addition to proto_invs. And so I commented every invariant regarding these.

However, for example, after commenting the addition of binary invariant StringEqual, I keep getting this output, since I have not added the output format for such invariant:

warning: method daikon.inv.binary.twoString.StringEqual.format(OutputFormat:MyFormat) needs to be implemented: this.bots.getClass().getName() == c.bots.getClass().getName()

As an attempt to solve this, I have then proceeded to remove this invariant file from Makefile's AUTO_GENERATED_FILES, adding it to OLD_AUTO_GENERATED_FILES, as suggested in the comment. The output remains the same.

How can I remove invariants from appearing in Daikon's output?

Thank you,

Tsarsko

[Michael Ernst]

I'm sorry you are having trouble.

Daikon provides a mechanism for enabling/disabling specific invariants, which is described in the Daikon Manual.  For example, you could supply a command-line argument such as

  --config_option daikon.inv.unary.string.CompleteOneOfString.enabled=false

for every invariant that you don't want to see in the output.  Can you explain why you chose to edit the source code of Daikon rather than using this command-line argument?

You have provided an English description of some edits you made to the Daikon codebase.  This makes it impossible for us to know what you have done.  Even if we could know your exact changes, it would be time-consuming and error-prone for us to redo all the changes.  Could you instead provide a diff or a pointer to a fork of Daikon?

                    -Mike

--
You received this message because you are subscribed to the Google Groups "Daikon discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to daikon-discus...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/daikon-discuss/ba879cef-2831-49c9-86b1-5838fa4487e1o%40googlegroups.com.

[Tsarsko Petrovich]

Hello,

The mentioned solution works fine. I've missed that part of the documentation. Sorry about that.

Thank you,

Tsarsko

To unsubscribe from this group and stop receiving emails from it, send an email to daikon-...@googlegroups.com.

[Michael Ernst]

Tsarko-

Great.  I'm glad that works for you.

Mike

To unsubscribe from this group and stop receiving emails from it, send an email to daikon-discus...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/daikon-discuss/bd5ee2a2-c6af-45af-b7a1-916687296264o%40googlegroups.com.