https://bugzilla.redhat.com/show_bug.cgi?id=1256100 Jerry James <loganjerry@xxxxxxxxx> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |CLOSED Resolution|--- |CURRENTRELEASE Last Closed| |2015-12-10 22:12:38 --- Comment #14 from Jerry James <loganjerry@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 As gil noted, you should not hijack bugs. Open a new bug for a new issue, please. This particular question would be better asked on upstream's mailing list anyway. It isn't really a bug, but a question about the program's limits. -- 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