diff options
| author | hallgren <hallgren@chalmers.se> | 2013-12-10 16:49:40 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-12-10 16:49:40 +0000 |
| commit | dd1b474a22011475fb47623f28715105d8805f22 (patch) | |
| tree | 104bae310715fab0060e7b559c034b69302f8495 /testsuite | |
| parent | 0851308099f625bb451f80e62e33137df199322f (diff) | |
testsuite: fix test of generate_trees
There were two differences between the current output and the old gold file:
1. The trees are no longer generated with increasing depth
2. The meaning of the -depth flag has changed: for example,
"gt -cat=Nat -depth=1" used to generate only "zero",
now you also get "succ zero".
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/compiler/check/abstract-operations/abstract-operations.gfs | 2 | ||||
| -rw-r--r-- | testsuite/compiler/check/abstract-operations/abstract-operations.gfs.gold | 27 |
2 files changed, 15 insertions, 14 deletions
diff --git a/testsuite/compiler/check/abstract-operations/abstract-operations.gfs b/testsuite/compiler/check/abstract-operations/abstract-operations.gfs index aba4aaf22..085b2b913 100644 --- a/testsuite/compiler/check/abstract-operations/abstract-operations.gfs +++ b/testsuite/compiler/check/abstract-operations/abstract-operations.gfs @@ -1,5 +1,5 @@ -- here we test that the abstract operations are not used for proof search i testsuite/compiler/check/abstract-operations/Nat.gf -gt -cat=Nat -number=10 -depth=10 +gt -cat=Nat -number=11 -depth=10 pt -compute (twice (succ zero)) diff --git a/testsuite/compiler/check/abstract-operations/abstract-operations.gfs.gold b/testsuite/compiler/check/abstract-operations/abstract-operations.gfs.gold index c0a36cff0..2b1a1b406 100644 --- a/testsuite/compiler/check/abstract-operations/abstract-operations.gfs.gold +++ b/testsuite/compiler/check/abstract-operations/abstract-operations.gfs.gold @@ -1,13 +1,14 @@ -zero
-succ zero
-succ (succ zero)
-succ (succ (succ zero))
-succ (succ (succ (succ zero)))
-succ (succ (succ (succ (succ zero))))
-succ (succ (succ (succ (succ (succ zero)))))
-succ (succ (succ (succ (succ (succ (succ zero))))))
-succ (succ (succ (succ (succ (succ (succ (succ zero)))))))
-succ (succ (succ (succ (succ (succ (succ (succ (succ zero))))))))
-
-succ (succ zero)
-
+succ (succ (succ (succ (succ (succ (succ (succ (succ (succ zero))))))))) +succ (succ (succ (succ (succ (succ (succ (succ (succ zero)))))))) +succ (succ (succ (succ (succ (succ (succ (succ zero))))))) +succ (succ (succ (succ (succ (succ (succ zero)))))) +succ (succ (succ (succ (succ (succ zero))))) +succ (succ (succ (succ (succ zero)))) +succ (succ (succ (succ zero))) +succ (succ (succ zero)) +succ (succ zero) +succ zero +zero + +succ (succ zero) + |