diff options
Diffstat (limited to 'testsuite/tests/stranal/sigs/T21888a.stderr')
-rw-r--r-- | testsuite/tests/stranal/sigs/T21888a.stderr | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/testsuite/tests/stranal/sigs/T21888a.stderr b/testsuite/tests/stranal/sigs/T21888a.stderr new file mode 100644 index 0000000000..21127cc2a5 --- /dev/null +++ b/testsuite/tests/stranal/sigs/T21888a.stderr @@ -0,0 +1,21 @@ + +==================== Strictness signatures ==================== +T21888a.f: <L> +T21888a.g: <1L><S!P(L)> +T21888a.wombat: <S!P(S)>b + + + +==================== Cpr signatures ==================== +T21888a.f: 2 +T21888a.g: 1 +T21888a.wombat: b + + + +==================== Strictness signatures ==================== +T21888a.f: <L> +T21888a.g: <1L><1!P(L)> +T21888a.wombat: <1!P(S)>b + + |