state_exec: a time budget cut inside a step reads as the time limit - #697

state_exec: a time budget cut inside a step reads as the time limit#697

transfix merged 1 commit into

mastertransfix/libcvc:masterfrom

fix/state-exec-job-timeouttransfix/libcvc:fix/state-exec-job-timeoutCopy head branch name to clipboard