Do not update the run if the todo set is empty for the current node.
[tatoo.git] / tests / xmark_small.xml.results / B10_jaxp.log
1 evaluation time: 579100ms
2 serialization time: 0ms