Thank you, I pushed it in.
Fabian, if you have any objections, we can make another patch.
Vinzent
2010/2/23 Øyvind Jensen jensen.oyv...@gmail.com:
An exception could be raised as a false positive. We should only
demand consistency between two resolutors if they have both reached a
An exception could be raised as a false positive. We should only
demand consistency between two resolutors if they have both reached a
conclusion. Before this patch, an exception would be raised in the event of an
inconclusive resolutor following a conclusive.
Added a test for the issue
---
Sorry, I sent the wrong patch. Please consider the next email instead.
Øyvind
ti., 23.02.2010 kl. 20.23 +0100, skrev Øyvind Jensen:
An exception could be raised as a false positive. We should only
demand consistency between two resolutors if they have both reached a
conclusion. Before this
An exception could be raised as a false positive. We should only
demand consistency between two resolutors if they have both reached a
conclusion. Before this patch, an exception would be raised in the event of an
inconclusive resolutor following a conclusive.
Added a test for the issue
---