https://bugzilla.redhat.com/show_bug.cgi?id=1256100 --- Comment #13 from gil cattaneo <puntogil@xxxxxxxxx> --- (In reply to ashleel from comment #12) > I'm using CBMC as one that generating DIMAC format and using that as input > in file named "foo" to use that on crypominisat as file input, first : > > cryptominisat4_simple --verb 0 foo > > ERROR! unknown flag --verb > > cryptominisat4_simple foo working perfectly > > cryptominisat4_simple foo > > c CryptoMiniSat version 4.5.3 > c compiled with gcc version 4.9.1 > c -- header says num vars: 1111485 > c -- header says num clauses: 4152266 > > PARSE ERROR! Unexpected char (dec: ' > ) At line 212083 we expected a number > > Line 212083 has only numbers, whether there is constrained on length of > input / file line length ??? > Is there any limit . Please, open a bug here https://apps.fedoraproject.org/packages/cryptominisat4/bugs -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review