Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

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

     
    Attachments
    • labels: --> Other
    • milestone: --> wrong answer
    • assigned_to: nobody --> dwarren
     
  • 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

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

     
    • status: open --> closed-fixed