clause count mismatch
schlemihl at gmail.com
Sat Dec 8 22:21:30 UTC 2012
I seem to be having a difficulty with a couple of my files. Specifically,
when I run *mlu* with the *+cc* option, it gives me an incorrect count for
For one file, it tells me there are 26 clauses, even though I know there to
only be 25.
For the other, it tells me there are 26 clauses, even though I know there
to be only 24.
I have reinstalled CLAN with an up-to-date MOR, to no avail. Is there
something I am missing, or is it more likely a problem with the files
With best wishes, and thanks in advance,
You received this message because you are subscribed to the Google Groups "chibolts" group.
To post to this group, send email to chibolts at googlegroups.com.
To unsubscribe from this group, send email to chibolts+unsubscribe at googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Chibolts