github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-02-20 14:45:06 +00:00
Code Issues Releases Wiki Activity

ezsat: Fix handling of error codes

Browse Source
This commit is contained in:
Gabriel Gouvine
2024-04-09 15:56:36 +01:00
committed by Gus Smith
parent d2b6bd00b1
commit 979b673f20
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
libs/ezsat/ezcmdline.cc
View File

@@ -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");
}