Extend state representation to track errno across control-flow#1284

antoniofrighetto wants to merge 3 commits intoAliveToolkit:masterAliveToolkit/alive2:masterfrom

antoniofrighetto:feature/handle-errno-for-mallocantoniofrighetto/alive2:feature/handle-errno-for-mallocCopy head branch name to clipboard