Package daikon.test

Class SampleTester


  • public class SampleTester
    extends Object
    This tests Daikon's state as samples are processed. A standard decl file specifies the ppts. A sample input file specifies the samples and assertions that should be true at various points while processing.

    The input file format is documented in the developer manual.