The daikon from mangoteam

View Code? Open in Web Editor NEW

This project forked from codespecs/daikon

Dynamic detection of likely invariants

Shell 1.57% Makefile 1.92% Emacs Lisp 0.04% Perl 1.79% Java 23.20% HTML 0.18% Common Lisp 0.01% BlitzBasic 12.23% Python 0.19% PHP 0.05% Batchfile 0.02% C 39.43% Scilab 0.53% C++ 16.02% Limbo 0.01% Lex 0.08% Yacc 0.07% POV-Ray SDL 1.49% M4 0.22% Roff 0.98%

daikon's Introduction

Mango Development Manual

To Test Daikon on Test Data
java -cp .:$DAIKONDIR/daikon.jar daikon.Chicory --config-dir daikon.settings.txt daikon \
     --comparability-file=StackArTester.decls-DynComp \
     DataStructures.StackArTester

javac -g DataStructures/*.java
java -cp .:$DAIKONDIR/daikon.jar daikon.Chicory DataStructures.StackArTester 
java -cp .:$DAIKONDIR/daikon.jar daikon.Daikon --config ./daikon-settings.txt StackArTester.dtrace.gz

To Build Daikon
rebuild daikon.jar: make -C $DAIKONDIR daikon.jar
> TODO: would be ideal to build only the part of the project we need

When Committing Changes
- run `make reformat`


This is the distribution of the Daikon invariant detector,
Daikon version 5.7.3, released November 8, 2018.

If you are working with a Daikon distribution downloaded from the Daikon
website, then most everything is setup and ready to go.  See the 'doc'
subdirectory for additional information, including installation instructions.
You should start out with the file:
  doc/index.html
The documentation also appears on the Daikon homepage:
  http://plse.cs.washington.edu/daikon/

If you are working with source cloned from the source code repository
https://github.com/codespecs/daikon, then please review the file
README.source.

Recommend Projects