From 864a0cab22998cfd465f3dd2f0514f96c907ed95 Mon Sep 17 00:00:00 2001 From: David Robillard Date: Sun, 19 Aug 2018 17:47:51 +0200 Subject: Add BoundedBitVec --- test/test_bitvec.cpp | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'test/test_bitvec.cpp') diff --git a/test/test_bitvec.cpp b/test/test_bitvec.cpp index ffdf823..1596042 100644 --- a/test/test_bitvec.cpp +++ b/test/test_bitvec.cpp @@ -19,6 +19,7 @@ #include "test_utils.hpp" +#include "chilbert/BoundedBitVec.hpp" #include "chilbert/DynamicBitVec.hpp" #include "chilbert/SmallBitVec.hpp" #include "chilbert/StaticBitVec.hpp" @@ -359,5 +360,16 @@ main() test, 65>(ctx); test, 997>(ctx); + test, 0>(ctx); + test, 1>(ctx); + test, 31>(ctx); + test, 32>(ctx); + test, 33>(ctx); + test, 63>(ctx); + test, 64>(ctx); + test, 65>(ctx); + test, 997>(ctx); + test, 997>(ctx); + return 0; } -- cgit v1.2.1