Add int2bv feature to bvlib rotate tests (emina#189).

sorawee · Apr 16, 2021 · 3432d95 · 3432d95
1 parent a7ea8a8
commit 3432d95
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/base/bvlib.rkt b/test/base/bvlib.rkt
@@ -272,13 +272,13 @@
 (define tests:rotate-left
   (test-suite+
    "Tests for rotate-left in rosette/base/bvlib.rkt"
-   #:features '(qf_lia qf_bv)
+   #:features '(qf_lia int2bv qf_bv)
    (check-rotate rotate-left rotate-right bvrol)))
 
 (define tests:rotate-right
   (test-suite+
    "Tests for rotate-right in rosette/base/bvlib.rkt"
-   #:features '(qf_lia qf_bv)
+   #:features '(qf_lia int2bv qf_bv)
    (check-rotate rotate-right rotate-left bvror)))
 
 (module+ test