aboutsummaryrefslogtreecommitdiffstats
path: root/tests/xprop/generate.py
Commit message (Expand)AuthorAgeFilesLines
* xprop: Test fixes and abort on test failureJannis Harder2023-02-131-1/+1
* xprop: Smaller subset of tests to run by defaultJannis Harder2023-02-131-44/+53
* New xprop pass to encode 3-valued x-propagation using 2-valued logicJannis Harder2022-11-301-0/+278