/kappa-stats

A simple tool that takes a Kappa trace and a rule name, and lists values (and corresponding frequencies) taken by each logical site of each agent on which the rule has been applied.

Primary LanguageOCaml

KaStats

To compile, run make.

You can see all options by typing ./KaStats --help.

Examples :

./KaStats -r 'a.c' trace.json will analyze the rule a.c in trace.json and write output in a file named trace.json.log.

./KaStats -r 'a.c' --all -o output.txt trace.json will analyse the rule a.c in trace.json and write output in a file named output.txt. It will show stats for every site, even sites that are tested by the rule.

Note : for now, the trace is entirely loaded into memory, so giving a big trace to KaStats will result in an Out of Memory error.