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

Unit test generation of x>y using bounds

Issue #215 resolved
Broes De Cat created an issue

No description provided.

Comments (1)

  1. Bart Bogaerts

    Improved generators over builtins

    Did this by fixing part of a fixme in the code. Solving is now also optimized for > and <, not only for = There is still some part "fixme" left, which will be done later.

    In the mean time, I created a test for this fix, a querytest. This same test fixes #215 (since they were very related)

    → 7f01b890457f

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