Title validate plan costs
Priority feature Status unread
Superseder Nosy List gnad, jendrik, malte
Assigned To Keywords
Optional summary

Created on 2016-05-03.18:01:54 by jendrik, last changed by gnad.

msg5307 (view) Author: jendrik Date: 2016-05-03.18:01:54
Currently, the planner writes the plan costs into the plan file as a comment. If 
the planner contains a bug, these costs may be wrong, however. Therefore, we'd 
like to compare the costs from the planner and the costs that VAL calculates.
Date User Action Args
2016-07-29 10:29:17gnadsetnosy: + gnad
2016-05-03 18:01:54jendrikcreate