Closed andresteingress closed 14 years ago
currently it is not possible to specify pre/postconditions at constructor nodes.
fixed in current master
currently it is not possible to specify pre/postconditions at constructor nodes.