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.

Sign up for GitHub

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

Jump to bottom

several testcases fail because of #domain #4

Open
peschue opened this issue Jan 15, 2018 · 0 comments
Open

several testcases fail because of #domain #4

peschue opened this issue Jan 15, 2018 · 0 comments
Labels
bug

Comments

@peschue
Copy link
Member

peschue commented Jan 15, 2018

As the new version of gringo does not support #domain we can no longer use it in XHAIL.

Therefore the following examples/test cases need to be adapted, or XHAIL needs to transform #domain into something new that is understood by gringo.

ec.lp, phone4_abd.lp, phone4_complex.lp, phone4_ded.lp, phone4.hardest.lp, phone4_hard.lp, phone4_ind.lp and reaction.lp all fail with a lexer error (unexpected #domain)
@peschue peschue added the bug label Jan 15, 2018
selineyp pushed a commit to selineyp/XHAIL that referenced this issue Aug 14, 2018
locating gringo and clasp knowlp#4
e5382f3
selineyp pushed a commit to selineyp/XHAIL that referenced this issue Aug 14, 2018
calling clasp and gringo knowlp#4
844d880
selineyp pushed a commit to selineyp/XHAIL that referenced this issue Aug 14, 2018
locating clasp and gringo knowlp#4
60414a3
selineyp pushed a commit to selineyp/XHAIL that referenced this issue Aug 16, 2018
locating gringo and clasp knowlp#4
288e207
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@peschue