state_exec: max_memory counts the deep-data work a process waits on - #695

state_exec: max_memory counts the deep-data work a process waits on#695

transfix merged 4 commits into

mastertransfix/libcvc:masterfrom

feat/state-exec-heap-data-worktransfix/libcvc:feat/state-exec-heap-data-workCopy head branch name to clipboard