How to generate invariant for my own c program

[Garima Mangal]

Hi,

I have just installed daikon.

Can you please help me how can i generate invariants  for my own c programs .

I am following the steps given in manual but not able to interpret them clearly.

Thanks.

[Michael Ernst]

I'm sorry you are having trouble.  We would like to help you, but we cannot do so from this incomplete bug report.  Can you please provide all the details that were requested in the issue template (https://github.com/codespecs/daikon/issues/new) and the bug reporting section of the manual (http://plse.cs.washington.edu/daikon/download/doc/daikon.html#Reporting-problems)?  This will enable us to reproduce the problem, fix it, and verify the fix.  Thanks!

--
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/785081eb-dfca-47b7-9407-b4ff12c9c73c%40googlegroups.com.