scilla
scilla copied to clipboard
Verify SRTL gas consumption for transition executions
Deepends on #1036.