Closed mraszyk closed 6 months ago
A state transition for rejecting management canister calls is missing.
Interested in what this refers to. Could you elaborate a little bit?
The state transitions part of the spec provides transitions modelling successful management canister calls, e.g., canister creation call, but there's no transition to produce a reject message if the management canister call is invalid.
Fixed by https://github.com/dfinity/interface-spec/pull/295
A state transition for rejecting management canister calls is missing.