hallgren 4e1df7eb59 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".

2013-12-10 16:49:40 +00:00

..

check

testsuite: fix test of generate_trees

2013-12-10 16:49:40 +00:00

compute

Compute.ConcreteNew: add missing case for variant functions

2012-12-10 13:25:32 +00:00

params

testsuite: reduced the number of failing tests from 25 to 13

2013-12-06 16:01:13 +00:00

renamer

testsuite: reduced the number of failing tests from 25 to 13

2013-12-06 16:01:13 +00:00

typecheck

testsuite: reduced the number of failing tests from 25 to 13

2013-12-06 16:01:13 +00:00

update

testsuite: reduced the number of failing tests from 25 to 13

2013-12-06 16:01:13 +00:00