diff options
Diffstat (limited to 'testsuite/tests/stranal/sigs/HyperStrUse.stderr')
-rw-r--r-- | testsuite/tests/stranal/sigs/HyperStrUse.stderr | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/testsuite/tests/stranal/sigs/HyperStrUse.stderr b/testsuite/tests/stranal/sigs/HyperStrUse.stderr index 84d81f3a8b..812115ec11 100644 --- a/testsuite/tests/stranal/sigs/HyperStrUse.stderr +++ b/testsuite/tests/stranal/sigs/HyperStrUse.stderr @@ -1,12 +1,18 @@ ==================== Strictness signatures ==================== -HyperStrUse.$trModule: m -HyperStrUse.f: <S(SL),1*U(1*U(U),A)><S,1*U>m +HyperStrUse.$trModule: +HyperStrUse.f: <S(SL),1*U(1*U(U),A)><S,1*U> + + + +==================== Cpr signatures ==================== +HyperStrUse.$trModule: m1 +HyperStrUse.f: m1 ==================== Strictness signatures ==================== -HyperStrUse.$trModule: m -HyperStrUse.f: <S(SL),1*U(1*U(U),A)><S,1*U>m +HyperStrUse.$trModule: +HyperStrUse.f: <S(SL),1*U(1*U(U),A)><S,1*U> |