diff --git a/flake.nix b/flake.nix index ceb94d1d6..2cc0f44f1 100644 --- a/flake.nix +++ b/flake.nix @@ -231,7 +231,7 @@ type = "app"; program = "${self.packages.${system}.proof-producer}/bin/proof-producer-single-threaded"; }; - default = { + multi-threaded = { type = "app"; program = "${self.packages.${system}.proof-producer}/bin/proof-producer-multi-threaded"; }; diff --git a/proof-producer/tests/make_proof_for_pairs.sh b/proof-producer/tests/make_proof_for_pairs.sh index 5af16aa37..c6e5bc3fa 100755 --- a/proof-producer/tests/make_proof_for_pairs.sh +++ b/proof-producer/tests/make_proof_for_pairs.sh @@ -17,7 +17,7 @@ make_proof_for_pair() { if [ "$use_nix" = true ]; then proof_generator_binary="nix run ${script_dir}/..?submodules=1#single-threaded --" if [ "$use_multithreaded" = true ]; then - proof_generator_binary="nix run ${script_dir}/..?submodules=1# --" + proof_generator_binary="nix run ${script_dir}/..?submodules=1#multi-threaded --" fi else proof_generator_binary="${script_dir}/../build/bin/proof-generator/proof-generator-single-threaded"