def test_SigAugmAssignUnsupported():
    z = Signal(intbv(0)[8:])
    a = Signal(intbv(0)[8:])
    try:
        verify(sigAugmAssignUnsupported, z, a)
    except ConversionError, e:
        assert e.kind == _error.NotSupported

def test_modbvSigRange():
    z = Signal(modbv(0, min=0, max=42))
    a = Signal(intbv(0)[4:])
    b = Signal(intbv(0)[4:])
    try:
        verify(modbvSigRange, z, a, b)
    except ConversionError, e:
        assert e.kind == _error.ModbvRange

def test_modbvRange():
    z = Signal(intbv(0)[8:])
    a = Signal(intbv(0)[4:])
    b = Signal(intbv(0)[4:])
    try:
        verify(modbvRange(z, a, b))
    except ConversionError as e:
        assert e.kind == _error.ModbvRange
    else:
        assert False

def test_unused4():
    f = get_fileinfo()
    assert verify(unused4_bench, M_DEFAULT) == 0
    if not kh_enabled:
        return
    u = updated_files(f)
    assert len(u) == 2
    for m in ("unused4_bench", "and_operator4"):
        assert file_check(u, m)

def test_unused3b():
    f = get_fileinfo()
    defval = random.randrange(2**M_DEFAULT)
    assert verify(unused3_bench, M_DEFAULT, defval) == 0
    if not kh_enabled:
        return
    u = updated_files(f)
    assert len(u) == 2
    for m in ("unused3_bench", "and_operator3"):
        assert file_check(u, m)

def test_incReg():  
    assert verify(IncBench, incRef) == 0

def test_bug_1835797():  
    assert verify(bug_1835797) == 0

def test_bug_1740778 ():  
    assert verify(bug_1740778) == 0

def testWhileBreakLoop():
    assert verify(LoopBench, WhileBreakLoop) == 0

def testNestedForLoop2():
   assert verify(LoopBench, NestedForLoop2) == 0

def testForBreakLoop():
   assert verify(LoopBench, ForBreakLoop) == 0

def checkUnaryOps(m):
    assert verify(unaryBench, m) == 0

def checkMultiOps(m, n, p):
    assert verify(multiBench, m, n, p) == 0

def checkBinary(m, n):
    assert verify(binaryBench, m, n) == 0

def test_hdlobjattrsimple():
    assert verify(ObjBench, HdlObjAttrSimple) == 0

def testForLoop4():
    assert verify(LoopBench, ForLoop4) == 0

def testForLoop5():
    assert verify(LoopBench, ForLoop5) == 0

def checkAugmOps(m, n):
    assert verify(augmBench, m, n) == 0

def testForBreakContinueLoop():
   assert verify(LoopBench, ForBreakContinueLoop) == 0

def test_issue_122():
    assert verify(tb_issue_122) == 0