From 5b74160abbf04a601a9a2ad98509566c8f1bd76a Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 18 Jan 2015 20:02:26 +0100
Subject: [PATCH] test: simplify scc.test

Fixes #49.

* src/tgbatest/scc.test: Rewrite using ltl2tgba --stats.
---
 src/tgbatest/scc.test | 55 +++++++------------------------------------
 1 file changed, 8 insertions(+), 47 deletions(-)

diff --git a/src/tgbatest/scc.test b/src/tgbatest/scc.test
index 3fe384f9e..3b0b42d9e 100755
--- a/src/tgbatest/scc.test
+++ b/src/tgbatest/scc.test
@@ -22,52 +22,13 @@
 
 set -e
 
-
-run 0 ../ltl2tgba -f -k '(a U c) U b & (b U c)' >stdout
-cat >expected <<EOF
-transitions: 15
-states: 6
-total SCCs: 5
-accepting SCCs: 1
-dead SCCs: 0
-accepting paths: 4
-dead paths: 0
+cat >formulas<<EOF
+((a U c) U b) & (b U c),15,6,5
+b U a,3,2,2
+0,0,1,1
+(Gb | F!a) W GFc,22,6,5
 EOF
-diff stdout expected
 
-
-run 0 ../ltl2tgba -f -k '(b U a) | (GFa & XG!a)' >stdout
-cat >expected <<EOF
-transitions: 7
-states: 4
-total SCCs: 4
-accepting SCCs: 1
-dead SCCs: 1
-accepting paths: 2
-dead paths: 1
-EOF
-diff stdout expected
-
-run 0 ../ltl2tgba -f -R3 -k '(b U a) | (GFa & XG!a)' >stdout
-cat >expected <<EOF
-transitions: 5
-states: 3
-total SCCs: 3
-accepting SCCs: 1
-dead SCCs: 0
-accepting paths: 2
-dead paths: 0
-EOF
-diff stdout expected
-
-run 0 ../ltl2tgba -f -R3 -k 'XXXX(0)' >stdout
-cat >expected <<EOF
-transitions: 0
-states: 1
-total SCCs: 1
-accepting SCCs: 0
-dead SCCs: 1
-accepting paths: 0
-dead paths: 1
-EOF
-diff stdout expected
+run 0 ../../bin/ltl2tgba --low --any --stats='%f,%e,%s,%c' -F formulas/1 >out
+cat out
+diff out formulas