diff --git a/tests/CMakeLists.txt b/tests/CMakeLists.txt
index d45e3f2..995d01f 100644
--- a/tests/CMakeLists.txt
+++ b/tests/CMakeLists.txt
@@ -37,6 +37,8 @@ set(toolkit_test_srcs
      test_pattern.cpp
      test_curve.cpp
      test_control.cpp
+     test_overflow.cpp
+     test_pda.cpp
 )
 
 add_executable(test_toolkit ${toolkit_test_srcs})
diff --git a/tests/test_pda.cpp b/tests/test_pda.cpp
index 7811daf..b7c1636 100644
--- a/tests/test_pda.cpp
+++ b/tests/test_pda.cpp
@@ -21,7 +21,7 @@
 
 BOOST_AUTO_TEST_SUITE (test_pda)
 
-BOOST_AUTO_TEST_CASE(test_pda)
+BOOST_AUTO_TEST_CASE(test_pda_model)
 
 {
     int error = 0;