def METHOD_NAME():
    a = Constant.from_int_and_width(1, i32)
    b = Constant.from_int_and_width(2, i32)
    with pytest.raises(VerifyException) as e:
        # 'oeq' is a comparison op for cmpf but not cmpi
        _cmpi_op = Cmpi(a, b, "oeq")
    assert e.value.args[0] == "Unknown comparison mnemonic: oeq"