3 Commits

Author	SHA1	Message	Date
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
hallgren	9118f72fda	testsuite: use forward slashes in paths	2013-12-03 16:59:33 +00:00
krasimir	fe1205059b	operations in the abstract syntax	2010-11-12 19:37:19 +00:00