Fixes Overflow and PDA tests not being run

2019-07-22 17:42:29 -04:00
parent 051519dca0
commit 0760648aef
2 changed files with 3 additions and 1 deletions
--- 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;