Help save net neutrality! Learn more.
Close

#179 Incorrect answer and memory violation

wrong answer
closed-fixed
Other (40)
5
2011-06-06
2010-06-12
Xinming Ou
No

There are three files in the zip file. Put them all in the same directory. Load xsb_bug_mem_err.P and issue the queries indicated at the end of the file. You will see the memory error. Restart XSB and load xsb_bug_res_err.P. Issue queries indicated at the end of the file and you will see the incorrect answer.

The above was tested for XSB 3.2 under both Ubuntu and Mac OS X.

Discussion

  • Xinming Ou

    Xinming Ou - 2010-06-12
     
  • David S. Warren

    David S. Warren - 2011-06-06
    • labels: --> Other
    • milestone: --> wrong answer
    • assigned_to: nobody --> dwarren
     
  • David S. Warren

    David S. Warren - 2011-06-06

    This is a bug in how large integers are handled (>28 bit that require a different representation.) I have fixed it and will check the changes into CVS soon.
    -David

     
  • David S. Warren

    David S. Warren - 2011-06-06

    I've checked in the changes, and the answer is now correct.
    -David

     
  • David S. Warren

    David S. Warren - 2011-06-06
    • status: open --> closed-fixed
     

Log in to post a comment.