diff options
| author | Erin van der Veen | 2018-07-05 19:20:13 +0200 |
|---|---|---|
| committer | Erin van der Veen | 2018-07-05 19:20:13 +0200 |
| commit | 29ab32e968075da1392664ca5f0690fe275aadfc (patch) | |
| tree | 0a9e4cdc1bcad92db7e25f20123dad32922daf9c /Assignment2/src/die.properties | |
| parent | State elimination works on the die example (diff) | |
Add + var to every transition
Diffstat (limited to 'Assignment2/src/die.properties')
0 files changed, 0 insertions, 0 deletions