Sort the output of -dump-strsigs
authorJoachim Breitner <mail@joachim-breitner.de>
Mon, 9 Dec 2013 20:06:21 +0000 (20:06 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Mon, 9 Dec 2013 20:06:21 +0000 (20:06 +0000)
testsuite/tests/stranal/sigs/UnsatFun.stderr

index 3df7ac8..646a987 100644 (file)
@@ -1,9 +1,9 @@
 
 ==================== Strictness signatures ====================
-UnsatFun.h: <C(S),1*C1(U(U))>
-UnsatFun.h2: <S,1*U><L,1*C1(U(U))>
 UnsatFun.f: <B,1*U(U)><B,A>b
-UnsatFun.g2: <L,U>
 UnsatFun.g: <B,1*U(U)>b
+UnsatFun.g2: <L,U>
+UnsatFun.h: <C(S),1*C1(U(U))>
+UnsatFun.h2: <S,1*U><L,1*C1(U(U))>