state_exec: state-json and state-from-json, a slice per step - #681

state_exec: state-json and state-from-json, a slice per step#681

transfix merged 1 commit into

mastertransfix/libcvc:masterfrom

feat/state-exec-sliced-jsontransfix/libcvc:feat/state-exec-sliced-jsonCopy head branch name to clipboard