]> _ Git - alire.git/commit
feat: test for solver timeout behavior (#1865)
authorAlejandro R Mosteo <amosteo@unizar.es>
Mon, 24 Feb 2025 15:27:35 +0000 (16:27 +0100)
committerGitHub <noreply@github.com>
Mon, 24 Feb 2025 15:27:35 +0000 (16:27 +0100)
commit1042c9099ded9e280b0ea64ef69df8781d326f99
tree77ae8dc6b64cbaefc2a67c50755e4cec33070bde
parent874b840a31338f7af120eca5ea7d130a659d70f3
feat: test for solver timeout behavior (#1865)

* feat: test solver timeout behavior

* Self-review

* Fix trailing whitespace
14 files changed:
src/alire/alire-install.adb
src/alire/alire-roots-editable.adb
src/alire/alire-roots.adb
src/alire/alire-settings-builtins.ads
src/alire/alire-settings.ads
src/alire/alire-solver-predefined_options.ads
src/alire/alire-solver.adb
src/alire/alire-solver.ads
src/alr/alr-commands-get.adb
src/alr/alr-commands-search.adb
src/alr/alr-commands-show.adb
testsuite/drivers/alr.py
testsuite/tests/solver/timeout/test.py [new file with mode: 0644]
testsuite/tests/solver/timeout/test.yaml [new file with mode: 0644]