From 1354c7e9a32c0cb278b27cd979c1b4b02ba024ba Mon Sep 17 00:00:00 2001
From: Jan Vesely <janvesely@janvesely.net>
Date: Wed, 30 Apr 2014 14:17:12 +0200
Subject: [PATCH] remove tests for vpa and rhdpda from testing script
---
tests.adeterminize.sh | 16 ----------------
1 file changed, 16 deletions(-)
diff --git a/tests.adeterminize.sh b/tests.adeterminize.sh
index dd85005438..7690b79680 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
--
GitLab