On Sep 27, 2017, at 8:51 AM, Julian Kunkel
<juliankunkel(a)googlemail.com> wrote:
Indeed I believe the current -R option should be replaced by comparing
the value with the expected (written) value.
I suggest that we check with the IOR maintainers before changing the semantics of an
argument. I know them and I suspect they won't like this. Instead, perhaps just leave
-R alone and add a new flag?
John