heuristic search strategy fix

Bug #1708482 reported by Jiri Srba
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TAPAAL
Fix Released
Critical
Peter Gjøl Jensen

Bug Description

heuristic search in verifypn has a bug - the heuristic
function when two values should be equal should return the
absolute value of their differences (right now it returns
only the difference).

Jiri Srba (srba)
Changed in tapaal:
assignee: nobody → Peter Gjøl Jensen (peter-gjoel)
Jiri Srba (srba)
Changed in tapaal:
status: New → Fix Committed
Changed in tapaal:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.