Remove remaining traces of bv.py (moved to py-aiger-bv).

Author: mvcisback

aiger/test_aig.py

@@ -2,8 +2,6 @@
 from hypothesis import given
 
 import aiger
-from aiger import bv
-from aiger import bv_utils
 from aiger import common
 from aiger import hypothesis as aigh
 
@@ -17,16 +15,6 @@ def test_aig_to_aag(circ, data):
     assert circ(test_input) == circ2(test_input)
 
 
-def test_aig_to_aag2():
-    expr = abs(bv.BV(2, 'x'))
-    circ = expr.aig
-    circ2 = circ._to_aag()._to_aig()
-    assert circ.inputs == circ2.inputs
-    assert circ.outputs == circ2.outputs
-
-    bv_utils.simplify(expr)  # smoke test
-
-
 def test_sink_aag():
     circ = aiger.common.sink(['x', 'y'])
     assert len(circ._to_aag().inputs) != 0

aiger/test_bv.py

@@ -6,7 +6,6 @@
 import aiger
 from aiger import hypothesis as aigh
 from aiger import utils as aigu
-from aiger.bv import BV
 
 
 @given(aigh.Circuits)
@@ -41,8 +40,11 @@ def test_count_and(circ1, circ2):
     assert count1 * count2 == count3
 
 
+"""
+TODO: move to py-aiger-anaylsis.
 @settings(max_examples=20, timeout=unlimited)
 @given(st.integers(-8, 7))
 def test_count_le(i):
     circ = BV(4, 'x') < BV(4, i)
     assert aigu.count(circ.aig) == i + 8
+"""