1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

XSB crashes, possibly on modulo operator

Issue #603 resolved
Broes De Cat created an issue

Maybe an existing bug, but did not find it then.

Should at least not crash (and disable xsb then) solving the bug would be even better ofcourse ;)

Comments (2)

  1. Broes De Cat reporter

    Werkt op de approxdefs branch. Wel een goed voorbeeld van waar XSB sterk vertraagt ten opzichte van ground en solve.

  3. Log in to comment
Assignee
Type
bug
Priority
major
Status
resolved
Component
–
Version
–
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!