summaryrefslogtreecommitdiff
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