gf-core.git/testsuite/compiler/check/abstract-operations, branch master Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2013-12-10T16:49:40+00:00 testsuite: fix test of generate_trees 2013-12-10T16:49:40+00:00 hallgren hallgren@chalmers.se 2013-12-10T16:49:40+00:00 urn:sha1:dd1b474a22011475fb47623f28715105d8805f22 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". testsuite: use forward slashes in paths 2013-12-03T16:59:33+00:00 hallgren hallgren@chalmers.se 2013-12-03T16:59:33+00:00 urn:sha1:6b3ba6d3ba5548d29e9175835e0ab1f1b17966c1 operations in the abstract syntax 2010-11-12T19:37:19+00:00 krasimir krasimir@chalmers.se 2010-11-12T19:37:19+00:00 urn:sha1:115b4213d515ce308568fd71e362f6ce2881fb50