diff options
Diffstat (limited to 'testsuite/tests/stranal/sigs/UnsatFun.stderr')
| -rw-r--r-- | testsuite/tests/stranal/sigs/UnsatFun.stderr | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/testsuite/tests/stranal/sigs/UnsatFun.stderr b/testsuite/tests/stranal/sigs/UnsatFun.stderr index 325d25ced7..18723bad40 100644 --- a/testsuite/tests/stranal/sigs/UnsatFun.stderr +++ b/testsuite/tests/stranal/sigs/UnsatFun.stderr @@ -1,13 +1,13 @@ ==================== Strictness signatures ==================== UnsatFun.$trModule: -UnsatFun.f: <B,1*U(U)><B,A>b -UnsatFun.g: <B,1*U(U)>b -UnsatFun.g': <L,1*U(U)> -UnsatFun.g3: <L,U(U)> -UnsatFun.h: <C(S),1*C1(U)> -UnsatFun.h2: <S,1*U><L,1*C1(U)> -UnsatFun.h3: <C(S),1*C1(U)> +UnsatFun.f: <SP(M)><B>b +UnsatFun.g: <SP(M)>b +UnsatFun.g': <1P(U)> +UnsatFun.g3: <A> +UnsatFun.h: <SCS(U)> +UnsatFun.h2: <SU><1C1(U)> +UnsatFun.h3: <SCS(A)> @@ -25,12 +25,12 @@ UnsatFun.h3: m1 ==================== Strictness signatures ==================== UnsatFun.$trModule: -UnsatFun.f: <B,1*U(U)><B,A>b -UnsatFun.g: <B,1*U(U)>b -UnsatFun.g': <L,1*U(U)> -UnsatFun.g3: <L,U(U)> -UnsatFun.h: <C(S),1*C1(U)> -UnsatFun.h2: <S,1*U><L,1*C1(U)> -UnsatFun.h3: <C(S),1*C1(U)> +UnsatFun.f: <SP(M)><B>b +UnsatFun.g: <SP(M)>b +UnsatFun.g': <1P(U)> +UnsatFun.g3: <A> +UnsatFun.h: <SCS(U)> +UnsatFun.h2: <SU><1C1(U)> +UnsatFun.h3: <SCS(A)> |