entry.sh « src « Assignment2 - NWI-IMC046-Model-Checking - Files related to NWI-IMC046 Model Checking, spring 2018, Radboud University Nijmegen.

summary refs log tree commit diff

path: root/Assignment2/src/entry.sh

blob: 3702ac5ba0303a4dcf7c26eaaf71f91625dc581d (plain) (blame)

1
2
3

cd /src
clm -ms -IL Platform -nr -nt DTMC -o dtmc
bash