From 0760648aef5bc9e31bfd9f06b3396d155ef1dbde Mon Sep 17 00:00:00 2001
From: Lew Rossman <LRossman@cinci.rr.com>
Date: Mon, 22 Jul 2019 17:42:29 -0400
Subject: [PATCH] Fixes Overflow and PDA tests not being run

---
 tests/CMakeLists.txt | 2 ++
 tests/test_pda.cpp   | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

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;