diff options
Diffstat (limited to 'testsuite/tests/stranal/sigs/UnsatFun.stderr')
| -rw-r--r-- | testsuite/tests/stranal/sigs/UnsatFun.stderr | 24 |
1 files changed, 18 insertions, 6 deletions
diff --git a/testsuite/tests/stranal/sigs/UnsatFun.stderr b/testsuite/tests/stranal/sigs/UnsatFun.stderr index 9fb8ab321f..1f5a58b422 100644 --- a/testsuite/tests/stranal/sigs/UnsatFun.stderr +++ b/testsuite/tests/stranal/sigs/UnsatFun.stderr @@ -1,24 +1,36 @@ ==================== Strictness signatures ==================== -UnsatFun.$trModule: m +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)>m +UnsatFun.g3: <L,U(U)> UnsatFun.h: <C(S),1*C1(U(U))> UnsatFun.h2: <S,1*U><L,1*C1(U(U))> -UnsatFun.h3: <C(S),1*C1(U)>m +UnsatFun.h3: <C(S),1*C1(U)> + + + +==================== Cpr signatures ==================== +UnsatFun.$trModule: m1 +UnsatFun.f: b +UnsatFun.g: +UnsatFun.g': +UnsatFun.g3: m1 +UnsatFun.h: +UnsatFun.h2: +UnsatFun.h3: m1 ==================== Strictness signatures ==================== -UnsatFun.$trModule: m +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)>m +UnsatFun.g3: <L,U(U)> UnsatFun.h: <C(S),1*C1(U(U))> UnsatFun.h2: <S,1*U><L,1*C1(U(U))> -UnsatFun.h3: <C(S),1*C1(U)>m +UnsatFun.h3: <C(S),1*C1(U)> |