https://bugzilla.redhat.com/show_bug.cgi?id=1256100 ashleel <ashleelkama@xxxxxxxxx> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ashleelkama@xxxxxxxxx --- Comment #12 from ashleel <ashleelkama@xxxxxxxxx> --- 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 . -- 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