Closed matthias-mayr closed 1 year ago
The NodeExectutor did only check pre- and hold-conditions. This introduces a post-condition check.
@frvd: It was a bit difficult to judge where to place the post-condition check. This position works in my tests.
The NodeExectutor did only check pre- and hold-conditions. This introduces a post-condition check.
@frvd: It was a bit difficult to judge where to place the post-condition check. This position works in my tests.