Daikon plugin available
The MeCoSim plugin for properties extraction with Daikon
A new plugin was developed for MeCoSim, to enable the extraction of outputs from the computation to Daikon, trying to extract some properties for the model.
It was necessary to set up the plugin to adapt some aspects and run with the last version of MeCoSim.
Now the plugin is available in this URL.
Comentarios