diff --git a/src/test/verify_openqasm.cpp b/src/test/verify_openqasm.cpp index ac3a0e63..6cdc042e 100644 --- a/src/test/verify_openqasm.cpp +++ b/src/test/verify_openqasm.cpp @@ -41,7 +41,8 @@ int main(int argc, char **argv) { std::string outfile = "res.json"; std::string timeout = "30000"; if (argc < 3 || argc > 5) { - std::cerr << "Usage: " << argv[0] << " circ1 circ2 [timeout] [tmpdir]" << std::endl; + std::cerr << "Usage: " << argv[0] << " circ1 circ2 [timeout] [tmpdir]" + << std::endl; return -1; } if (argc >= 4) { @@ -78,7 +79,8 @@ int main(int argc, char **argv) { .append("verifier") .append("verify_equivalences.py"); std::string script = verifier_path.string(); - std::string arglst = tmpfile + " " + outfile + " True True True True False " + timeout; + std::string arglst = + tmpfile + " " + outfile + " True True True True False " + timeout; // Applies the equivalence checker to the json file. std::string command = "python " + script + " " + arglst;