#93 gringo: grounding bug

gringo-4.x
closed
gringo (48)
1
2014-05-23
2014-05-13
Roland Kaminski
No

The grounding of the attached file produces different outcomes depending on the rule order.

Discussion

  • The following call produces different outcomes:
    cat test.lp | shuf | tee bug.lp | ./gringo -Wno-atom-undefined | clasp -q | grep Optimization

    It looks like something goes wrong when grounding aggregates.

     
    Attachments
    • Description has changed:

    Diff:

    --- old
    +++ new
    @@ -1 +1 @@
    -The grounding of the attached file produces different outcomes if the first line is commented/uncommented.
    +The grounding of the attached file produces different outcomes depending on the rule order.
    
     
    • status: open --> closed
     
  • fixed in trunk