fix: ic0.call_perform spec

dfinity / interface-spec

IC Interface Specification

37 stars 20 forks source link

Closed mraszyk closed 1 month ago

mraszyk commented 1 month ago

This PR fixes issues in ic0.call_perform spec:

adds one more condition under which a call successfully finalized by ic0.call_perform might still fail;
specifies that discarding a pending call does not refund the prepayment for execution since this prepayment is not charged for a pending call.