clause count mismatch
spektor at andrew.cmu.edu
Sat Dec 8 22:53:16 UTC 2012
There are number of reasons why you get results that you don't expect. They range from a bug in CLAN to you or CLAN counting something that you should be or CLAN shouldn't be counting. I have just tested my own test file and I got the right number of clauses result. Please, email to me directly those two files along with command line you used and if possible the output you got. I will try to figure out what is going on and let you what I find.
On Dec 8, 2012, at 17:21 , Mark Brenchley wrote:
> Hi there,
> 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 two files.
> 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 themselves?
> 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.
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