Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Creating test cases seems to loop forever when grammar doesn't use fields (by accident) #14

Open
inariksit opened this issue Apr 15, 2022 · 0 comments

Comments

@inariksit
Copy link
Member

Writing this down, on the off chance that I/someone would some day work on gftest again.

I was splitting a CN into two fields, like this

-- old
lincat CN = {s : Str} ;
lin AdvCN adv cn = {s = cn.s ++ adv.s} ;

-- new
lincat CN = {s, postmod : Str} ;
lin AdvCN adv cn = cn ** {postmod = cn.postmod ++ adv.s} ;

Then I had a bunch of functions that used the CN, like this

lin UseCNSomeWay cn stuff = stuff ** {s = stuff.s ++ cn.s} ;

But now that CN had two fields, whatever is in the postmod field never got propagated further. When I ran gftest on this grammar, it seemed to loop forever trying to make test cases. When I fixed my error, i.e. did like this

lin UseCNSomeWay cn stuff = stuff ** {s = stuff.s ++ cn.s ++ cn.postmod} ;

gftest was generating test cases again.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant