From d09ab089457ae3c20cc98f9afa03379c6ebf9598 Mon Sep 17 00:00:00 2001 From: Mike Hommey Date: Thu, 25 Mar 2004 06:59:32 +0000 Subject: [svn-inject] Installing original source version --- result/automata/a | 4 ++++ result/automata/aba | 6 ++++++ result/automata/abaa | 5 +++++ result/automata/abba | 4 ++++ result/automata/po | 2 ++ 5 files changed, 21 insertions(+) create mode 100644 result/automata/a create mode 100644 result/automata/aba create mode 100644 result/automata/abaa create mode 100644 result/automata/abba create mode 100644 result/automata/po (limited to 'result/automata') diff --git a/result/automata/a b/result/automata/a new file mode 100644 index 0000000..4ece411 --- /dev/null +++ b/result/automata/a @@ -0,0 +1,4 @@ +=> Passed +=> Failed +=> Failed +=> Failed diff --git a/result/automata/aba b/result/automata/aba new file mode 100644 index 0000000..051b9bd --- /dev/null +++ b/result/automata/aba @@ -0,0 +1,6 @@ +=> Passed +=> Passed +=> Passed +=> Failed +=> Failed +=> Failed diff --git a/result/automata/abaa b/result/automata/abaa new file mode 100644 index 0000000..c74769e --- /dev/null +++ b/result/automata/abaa @@ -0,0 +1,5 @@ +=> Passed +=> Passed +=> Passed +=> Failed +=> Failed diff --git a/result/automata/abba b/result/automata/abba new file mode 100644 index 0000000..1a60848 --- /dev/null +++ b/result/automata/abba @@ -0,0 +1,4 @@ +=> Passed +=> Passed +=> Failed +=> Failed diff --git a/result/automata/po b/result/automata/po new file mode 100644 index 0000000..fafcae5 --- /dev/null +++ b/result/automata/po @@ -0,0 +1,2 @@ +=> Passed +=> Passed -- cgit v1.2.3