diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-06-18 09:01:49 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-06-18 09:01:49 +0200 |
| commit | 97c117d015a868d281c78807884f7ff570171a68 (patch) | |
| tree | c454ca9ad0822411b7ac86dcd384c106bd24c4d5 /src/solvers/h48/utils.h | |
| parent | eeb746063a55e7ec89df724beff17e4ba1467fdc (diff) | |
| download | nissy-core-97c117d015a868d281c78807884f7ff570171a68.tar.gz nissy-core-97c117d015a868d281c78807884f7ff570171a68.zip | |
Make tool fail if build fails
Diffstat (limited to 'src/solvers/h48/utils.h')
0 files changed, 0 insertions, 0 deletions