Update test

leonardt · Dec 7, 2023 · f3c6af7 · f3c6af7
1 parent 43162d4
commit f3c6af7
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/tests/test_test_vectors.py b/tests/test_test_vectors.py
@@ -2,7 +2,6 @@
 import pytest
 from hwtypes import Bit
 import magma as m
-# import mantle
 from fault.test_vectors import (generate_function_test_vectors,
                                 generate_simulator_test_vectors)
 from fault.value import AnyValue

diff --git a/tests/test_tester/test_interactive.py b/tests/test_tester/test_interactive.py
@@ -38,7 +38,7 @@ def test_interactive_clock():
 
 
 def test_counter():
-    Counter4 = m.mantle.Counter(4)
+    Counter4 = m.mantle.Counter(2**4)
     tester = PythonTester(Counter4, Counter4.CLK)
     tester.CLK = 0
     tester.wait_until_high(Counter4.O[3])