mirror of
https://github.com/Z3Prover/z3
synced 2025-04-10 03:07:07 +00:00
swap argument order of chunk with file
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
5fcbf55216
commit
bd1b930d7a
|
@ -271,9 +271,9 @@ static void cnf_backbones(bool use_chunk, char const* file_name) {
|
|||
|
||||
void tst_cnf_backbones(char ** argv, int argc, int& i) {
|
||||
if (i + 1 < argc) {
|
||||
bool use_chunk = (i + 2 < argc && argv[i + 2] == std::string("chunk"));
|
||||
bool use_chunk = (i + 2 < argc && argv[i + 1] == std::string("chunk"));
|
||||
if (use_chunk) ++i;
|
||||
cnf_backbones(use_chunk, argv[i + 1]);
|
||||
++i;
|
||||
if (use_chunk) ++i;
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue