diff options
| author | Nguyễn Gia Phong <cnx@loang.net> | 2023-11-23 20:03:22 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2024-03-05 17:53:28 +0900 |
| commit | 812c08bbc64cb0d2f82f2f44e83c5da390ee1355 (patch) | |
| tree | 684ef97692eecdd85ea49a62d973d1f7f7ac137d /scripts/build/build-ci-container.py | |
| parent | 09485583beee941f271aa0a4e5ed3765dd41aa5c (diff) | |
| download | klee-812c08bbc64cb0d2f82f2f44e83c5da390ee1355.tar.gz | |
Clean up interfaces
Psychic now extract patch number directly from meta conditions. Previously it was under the assumption that a patch is triggered by multiple choices. Now we allow a patch to have multiple hunks and the possibility to combine multiple patches. Internally, the code relevant diff test generation is moved under Differentiator.
Diffstat (limited to 'scripts/build/build-ci-container.py')
0 files changed, 0 insertions, 0 deletions