lsteehouwer / cmod

Coverability graph modeller

CMOD

CMOD is an alternative front-end for CoRA, the coverability and reachability graph assistant.

Installation

1. Download a release from the release tab.
2. Unzip.
3. Run npm install to install the required dependencies.
4. Configure CMOD according to your settings by editing config.json in the root folder.
5. Run npm run build. This might take a minute.
6. In the dist folder you will find the compiled files. Place these at your desired location.

Acknowledgements

CMOD is built upon the Vue framework and uses Vuex for state management. In addition, CMOD makes use of vue-class-component, vue-property-decorator, and vuex-module-decorators. For the modeller CMOD uses vue-multipane for the layout. Vue-focus is used for setting focus.