Issue496

Title If there is no :metric declaration then use action costs 1 in output files
Priority feature Status resolved
Superseder Nosy List florian, gabi, jendrik, malte
Assigned To gabi Keywords translator
Optional summary

Created on 2014-12-10.10:26:57 by gabi, last changed by gabi.

Messages
msg3901 (view) Author: gabi Date: 2014-12-10.10:54:11
This was actually only a very small change (Levenshtein distance 1). Merged.
msg3900 (view) Author: gabi Date: 2014-12-10.10:26:57
Split off from issue371:

In problems without a :metric declaration, we should use 1 for the action
costs rather than 0. (We can keep the info in the begin_metric/end_metric block,
so this wouldn't use any information, just make things clearer for people who
don't look into this block.)

This doesn't violate the current file format.
History
Date User Action Args
2014-12-10 10:54:11gabisetmessages: + msg3901
2014-12-10 10:53:03gabisetstatus: in-progress -> resolved
2014-12-10 10:26:57gabicreate