summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorJulian Andres Klode <julian.klode@canonical.com>2024-08-01 14:25:25 +0900
committerJulian Andres Klode <julian.klode@canonical.com>2024-11-02 10:23:15 +0100
commita5a7b6905dc021d9773229e47ec60367e3e606d8 (patch)
tree7659250229a31e68d8451b4c1dc7fdc5425cc8fc /test
parent761fc96fe6158d46f11137c14822545ac0b0fe91 (diff)
solver3: Rename Reason to Var
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions