The Daikon Invariant Detector User Manual_ 8. Tools for use with Daikon

The Daikon Invariant Detector User Manual_ 8. Tools for use with Daikon

Info icon This preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
[ < ] [ > ] [ << ] [ Up ] [ >> ] [ Top ] [ Contents ] [ Index ] [ ? ] 8. Tools for use with Daikon This chapter describes various tools that are included with the Daikon distribution. 8.1 Tools for manipulating invariants 8.2 DtraceDiff utility [ < ] [ > ] [ << ] [ Up ] [ >> ] [ Top ] [ Contents ] [ Index ] [ ? ] 8.1 Tools for manipulating invariants This section gives information about tools that manipulate invariants (in the form of ‘ .inv ’ files). 8.1.1 Printing invariants 8.1.2 MergeInvariants 8.1.3 Invariant Diff 8.1.4 Annotate 8.1.5 AnnotateNullable 8.1.6 Runtime-check instrumenter (runtimechecker) 8.1.7 InvariantChecker 8.1.8 LogicalCompare [ < ] [ > ] [ << ] [ Up ] [ >> ] [ Top ] [ Contents ] [ Index ] [ ? ] 8.1.1 Printing invariants Daikon provides many options for controlling how invariants are printed. Often, you may want to print the same set of invariants several different ways. However, you only want to run Daikon once, since it may be very time consuming. The PrintInvariants utility prints a set of invariants from a ‘ .inv ’ file. PrintInvariants is invoked as follows: java daikon.PrintInvariants [flags] inv-file PrintInvariants shares many flags with Daikon. These flags are only briefly summarized here. For more information about these flags, see Daikon configuration options . --help Print usage message. --format name Produce output in the given format. See Invariant syntax . The Daikon Invariant Detector User Manual: 8. Tools for use with Daikon file:///C:/Users/tyalanf/AppData/Local/Temp/Temp1_daikon.zip/daikon/d... 1 of 14 2/24/2012 12:16 PM You created this PDF from an application that is not licensed to print to novaPDF printer ( http://www.novapdf.com )
Image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon