state_exec: parser.max_depth 100000; the last recursive walks over parsed data - #678

state_exec: parser.max_depth 100000; the last recursive walks over parsed data#678

transfix merged 3 commits into

mastertransfix/libcvc:masterfrom

feat/state-exec-deep-finishtransfix/libcvc:feat/state-exec-deep-finishCopy head branch name to clipboard