alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Fixes #205.

Browse source 
* tests/core/hierarchy.test: here.
This commit is contained in:
Etienne Renault 2017-01-22 09:42:41 +01:00 • committed by Alexandre Duret-Lutz
parent cdfa607882
commit 63116ff79c
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/core/hierarchy.test
View file

@ -52,7 +52,7 @@ test "$(echo $(genltl --dac --format='%h') | sed 's/ //g')" = \
# Implementations of uniq differ in the number of leading spaces, so # Implementations of uniq differ in the number of leading spaces, so
# we remove them all. # we remove them all.
genltl --dac --format='%[vw]h' | sort | uniq -c | genltl --dac --format='%[vw]h' | sort | uniq -c |
sed 's/^ *\([0-9]\+\) \+/\1 /g' >out sed 's/^ *\([0-9][0-9]*\) */\1 /g' >out
cat >expected <<EOF cat >expected <<EOF
1 guarantee obligation persistence recurrence reactivity 1 guarantee obligation persistence recurrence reactivity
2 obligation persistence recurrence reactivity 2 obligation persistence recurrence reactivity