transitions fix update
authorAlexander Fedotov <soyaxhoya@gmail.com>
Tue, 19 Apr 2016 19:01:02 +0000 (21:01 +0200)
committerAlexander Fedotov <soyaxhoya@gmail.com>
Tue, 19 Apr 2016 19:01:02 +0000 (21:01 +0200)
commit5e7be44feee0662dde587a429a31f2bafd1f6a6f
treea0505fa5eacf2df1c7eb944e2c8db843e11c01b3
parent8054a7885e6e03b2998bf5bfd3b415816cd61cf9
transitions fix update
modelchecker/coord.c