Python substitute_model 예제들

예제 #1

파일: verify.py 프로젝트: chubbymaggie/PIE

def runCVC4(sema, smtdata, queue):
    with sema:
        res = run_CVC4_internal(smtdata)
        if res == 'ERROR':
            sleep(timeout)
        elif res[:3] == 'SAT':
            vsmtdata = substitute_model(smtdata, res)
            vres = run_CVC4_internal(vsmtdata, False)
            res = 'ERROR' if vres != 'SAT' else res

        queue.put(['cvc4', res])
        sleep(epsilon)

예제 #2

def runCVC4(sema, smtdata, queue):
    with sema:
        res = run_CVC4_internal(smtdata)
        if res == 'ERROR':
            sleep(timeout)
        elif res[:3] == 'SAT':
            vsmtdata = substitute_model(smtdata, res)
            vres = run_CVC4_internal(vsmtdata, False)
            res = 'ERROR' if vres != 'SAT' else res

        queue.put(['cvc4', res])
        sleep(epsilon)