diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-01-24 12:50:59 -0800 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-01-24 12:50:59 -0800 |
commit | b83ed2bf0ee88580dc66834c0bb6f30aa1de783f (patch) | |
tree | f56179b61d204690ac7b714993f9a76955cab9b5 /test/regress/regress0/precedence/xor-and.cvc | |
parent | 44068c5fac9ffb0e9d9ce4bbb1035614a212b557 (diff) |
Length requirements in conclusionscav2020
Diffstat (limited to 'test/regress/regress0/precedence/xor-and.cvc')
0 files changed, 0 insertions, 0 deletions