From 3f5827a72e42b787a1bedc5fa0957463b679ba1d Mon Sep 17 00:00:00 2001 From: Keerthan Jaic Date: Wed, 18 Mar 2015 17:24:50 -0400 Subject: [PATCH] mark test of yet to be solved bug as an expected failure --- myhdl/test/conversion/general/test_interfaces3.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/myhdl/test/conversion/general/test_interfaces3.py b/myhdl/test/conversion/general/test_interfaces3.py index a98b6684..d9239465 100644 --- a/myhdl/test/conversion/general/test_interfaces3.py +++ b/myhdl/test/conversion/general/test_interfaces3.py @@ -2,6 +2,8 @@ from __future__ import absolute_import import sys +import pytest + from myhdl import * from myhdl import ConversionError from myhdl.conversion._misc import _error @@ -9,6 +11,9 @@ from myhdl.conversion import analyze, verify from myhdl import * +xfail_ghdl = pytest.mark.xfail(verify.simulator == 'GHDL', + reason='issue #33') + class Intf1: def __init__(self, x): self.x = Signal(intbv(0, min=x.min, max=x.max)) @@ -184,6 +189,7 @@ def test_three_analyze(): intf = IntfWithConstant2() analyze(m_top_const, clock, reset, x, y, intf) +@xfail_ghdl def test_three_verify(): assert verify(c_testbench_three) == 0