-
Philip Makedonski authored
+ added support for action references + added support for assertions Change-Id: I92702f94b11b222a2efa28fe6ed524fc1b7ae787 Signed-off-by: makedonski <makedonski@informatik.uni-goettingen.de>
b5d3b5b4
+ added support for action references
+ added support for assertions
Change-Id: I92702f94b11b222a2efa28fe6ed524fc1b7ae787
Signed-off-by: makedonski <makedonski@informatik.uni-goettingen.de>