nissy-core

The "engine" of nissy, including the H48 optimal solver.
git clone https://git.tronto.net/nissy-core
Download | Log | Files | Refs | README | LICENSE
commit a5c9b857a346343443baf49679eebf12c18b4008
parent d9cbff9e9efbd6a84211ed001c3d0ea8b6fd3057
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date:   Wed,  6 Aug 2025 15:14:51 +0200

Fixed running tools with args

Diffstat:

Mbuild | 2+-


1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build b/build
@@ -428,7 +428,7 @@ build_tool() {
 	fi
 
 	build_nissy || exit 1
-	run_single_tool
+	run_single_tool $@
 }
 
 build_solvetest() {