Support launch of contract sequence in debugger
Clarification and motivation
If a contract produces operations, we want to apply them to state and run following contracts if necessary. Also, it would be nice to be able to run a series of contracts given by user, but this can be resolved in another ticket.
Acceptance criteria
-
Runtime.hs
is refactored as necessary to support this feature; - If contract produces operations, they are executed;
- Debugger interactive app and UI app show source of currently executed contract (currently possible sources may be - filename, name in tests).