Thomas Faller

Results 1 issues of Thomas Faller

Due to a typo the generated code of an one-way operation is invalid. The input data type of the operation is set to `struct{}`, even if there are input parameters....