malknet42 0b9ae35e1b update Tests, added generated AllTests. %!s(int64=12) %!d(string=hai) anos
..
model.sgen 86f85d1e5e Removed StateWithEmptyRegion test %!s(int64=12) %!d(string=hai) anos
test.sgen 0b9ae35e1b update Tests, added generated AllTests. %!s(int64=12) %!d(string=hai) anos