From ccf04533e674fedc0cdb2facaae6c363965dd099 Mon Sep 17 00:00:00 2001
From: Gabriel Gouvine <gabriel.gouvine_git@m4x.org>
Date: Tue, 9 Apr 2024 15:56:36 +0100
Subject: [PATCH] ezsat: Fix handling of error codes

---
 libs/ezsat/ezcmdline.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/libs/ezsat/ezcmdline.cc b/libs/ezsat/ezcmdline.cc
index 1b5278fabc9..dddec10678c 100644
--- a/libs/ezsat/ezcmdline.cc
+++ b/libs/ezsat/ezcmdline.cc
@@ -58,7 +58,8 @@ bool ezCmdlineSAT::solver(const std::vector<int> &modelExpressions, std::vector<
 			}
 		}
 	};
-	if (Yosys::run_command(sat_command, line_callback) != 0) {
+	int return_code = Yosys::run_command(sat_command, line_callback);
+	if (return_code != 0 && return_code != 10 && return_code != 20) {
 		Yosys::log_cmd_error("Shell command failed!\n");
 	}