Mercurial > repos > sybila > ebcsgen_generate_transition_system
directory /test-data/ @ 0:f13bdc5f4409 draft
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
simple.bcsl.model | 142 | -rw-r--r-- |
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
simple.bcsl.model | 142 | -rw-r--r-- |