You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
@@ -136,7 +136,7 @@ The files generated by Beet are used as input to [Daikon](https://plse.cs.washin
This version of Daikon has been modified based on an analysis of a systematically collected dataset of 40 APIs (+700 operations) and its precision outperforms the one achieved by the default version of Daikon by a margin of more than 30% (in the context of REST APIs). This version of Daikon supports a total of 105 different types of invariants.
Please refer to our Wiki for a complete list of the modifications performed on Daikon and a taxonomy of the supported invariants.
Please refer to our Wiki for a complete list of the [modifications performed on Daikon](https://github.com/isa-group/Beet/wiki/Modified-version-of-Daikon#modifications-on-daikon) and a [taxonomy of the supported invariants](https://github.com/isa-group/Beet/wiki/Modified-version-of-Daikon#invariants-taxonomy).
The source code of our modified version of Daikon can be found [here](https://github.com/JuanCarlosAlonsoValenzuela/daikon_modified). However, we recommend using the Docker image that we provide for an easier installation.
[The official Daikon documentation](https://plse.cs.washington.edu/daikon/download/doc/) describes how to install and configure Daikon without using our image.
