Skip to content

test weak7.hex fails #21

@peschue

Description

@peschue

output of log

 8 iterators not the same!
 8 unparsed 'member(X,p1) | member(X,p2) :- employee(X).'
 8 ----------^
GeneralError: Syntax Error: Could not parse complete input!

FAIL: ../src/dlvhex2 -s --plugindir=\!../testsuite --solver=genuinegc --weak-enable ../examples/weak7.hex (abnormal termination)
 8 iterators not the same!
 8 unparsed 'member(X,p1) | member(X,p2) :- employee(X).'
 8 ----------^
GeneralError: Syntax Error: Could not parse complete input!

FAIL: ../src/dlvhex2 -s --plugindir=\!../testsuite --solver=genuinegc --weak-enable --heuristics=monolithic ../examples/weak7.hex (abnormal termination)

This might be old, but did we ever support "|" instead of "v" for disjunction?

According to ASP-Core-2 we should support "|" ("OR" in Section 5 of ASP-Core-2).

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions