diff options
Diffstat (limited to 'test/unit/Makefile.am')
| -rw-r--r-- | test/unit/Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am index f98f434c1..608d6335b 100644 --- a/test/unit/Makefile.am +++ b/test/unit/Makefile.am @@ -3,9 +3,7 @@ UNIT_TESTS = \ theory/shared_term_manager_black \ theory/theory_engine_white \ theory/theory_black \ - theory/theory_uf_tim_white \ theory/theory_arith_white \ - theory/stacking_map_black \ theory/union_find_black \ expr/expr_public \ expr/expr_manager_public \ @@ -30,9 +28,12 @@ UNIT_TESTS = \ context/cdo_black \ context/cdlist_black \ context/cdlist_context_memory_black \ + context/cdcirclist_white \ context/cdmap_black \ context/cdmap_white \ context/cdvector_black \ + context/stacking_map_black \ + context/stacking_vector_black \ util/assert_white \ util/bitvector_black \ util/datatype_black \ |