Open DemiMarie opened 5 years ago
It is possible, at least in theory, for a proof to overflow the maximum length of a Windows command line. The only workaround is to instead read the data from a file or standard input.
It is possible, at least in theory, for a proof to overflow the maximum length of a Windows command line. The only workaround is to instead read the data from a file or standard input.