diff --git a/tests.adeterminize.sh b/tests.adeterminize.sh index dd85005438b63cfe10f71d73e44cdfc56068046b..7690b79680d68d62b234f67129794c3a11cb7723 100755 --- a/tests.adeterminize.sh +++ b/tests.adeterminize.sh @@ -59,20 +59,6 @@ function testIdpda } -function testVpa -{ - echo "VPA:" - echo " Tests not implemented yet." -} - - -function testRhdpda -{ - echo "RHDPDA:" - echo " Tests not implemented yet." -} - - function printIntroduction { echo "adeterminize tests:" @@ -98,6 +84,4 @@ printIntroduction checkAdeterminizeExecutable testFsm testIdpda -testVpa -testRhdpda printResults