mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-06 14:13:23 +00:00
Code Activity

ezsat: Fix handling of error codes

Browse source
This commit is contained in:
Gabriel Gouvine 2024-04-09 15:56:36 +01:00
parent e16cf967fd
commit ccf04533e6
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"); Yosys::log_cmd_error("Shell command failed!\n");
} }