Causal analysis for Kappa. In its current state, this program does the following:
- Compute the causal cores of every observable event in a given trace
- Render one dot file per causal core
Install KappaLib using Opam: opam pin --dev add KaSim. Then,
just type make. In order to build the tests, type
cd tests/contextual-egfr ; make