(smtfile)
return (smtfile, (end - start))
Read and print the formula in HR Format.
Read and print the formula in HR Format.
Read and print the formula in HR Format .
def execute_script_fname(smtfile):
    """Read and print the formula in HR Format."""
    reset_env()
    assert os.path.exists(smtfile)
    smtlib_start = time.clock()
    f = read_smtlib(smtfile)
    smtlib_end = time.clock()
    start = time.clock()
    s = f.serialize()
    end = time.clock()
    assert s is not None
    #print(smtfile, (smtlib_end-smtlib_start), (end-start))
    return (smtfile, (end - start))
def execute_script_fname ( smtfile ) : reset_env ( ) assert os . path . exists ( smtfile ) smtlib_start = time . clock ( ) f = read_smtlib ( smtfile ) smtlib_end = time . clock ( ) start = time . clock ( ) s = f . serialize ( ) end = time . clock ( ) assert s is not None #print(smtfile, (smtlib_end-smtlib_start), (end-start)) return ( smtfile , ( end - start ) )