krr / IDP / issues / #757 - XSB heeft last met functieconstraint? — Bitbucket

Issue #757 resolved

JoD created an issue 2014-05-27

In bijlage een theorie die een functie definieert. Zonder XSB geeft idp een model (zoals het hoort). Met XSB geeft IDP geen model (wat een bug is).

thesistoekenning_bug_xsb.idp

Comments (3)

JoD reporter
- attached thesistoekenning.struc
- 2014-05-27T13:50:24+00:00
Joachim Jansen
Origin of problem comes from the string type. Fixing it now
- 2014-05-27T14:16:28+00:00
Joachim Jansen
- changed status to resolved
Fixed on my branch in commit 32ea1e3

Branch pending pull request
- 2014-05-27T14:37:13+00:00
Log in to comment

Assignee: Joachim Jansen

Type: bug

Priority: blocker

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 2

Jira: the preferred issue tracker for Bitbucket. Join the team!