diff options
author | Alice Frosi <afrosi@redhat.com> | 2023-02-23 10:04:50 +0100 |
---|---|---|
committer | Alice Frosi <afrosi@redhat.com> | 2023-02-23 16:15:33 +0100 |
commit | 5049d01c8d5e77eac9c91367bfc10d1673785c5f (patch) | |
tree | 8331b91f2f4c3a84a8c241acfe48622f8d459327 /seitan.c | |
parent | 323e4db76b70c8b6ea71ea37e5e7688f227eb907 (diff) | |
download | seitan-5049d01c8d5e77eac9c91367bfc10d1673785c5f.tar seitan-5049d01c8d5e77eac9c91367bfc10d1673785c5f.tar.gz seitan-5049d01c8d5e77eac9c91367bfc10d1673785c5f.tar.bz2 seitan-5049d01c8d5e77eac9c91367bfc10d1673785c5f.tar.lz seitan-5049d01c8d5e77eac9c91367bfc10d1673785c5f.tar.xz seitan-5049d01c8d5e77eac9c91367bfc10d1673785c5f.tar.zst seitan-5049d01c8d5e77eac9c91367bfc10d1673785c5f.zip |
test: fix check of a_block
Diffstat (limited to 'seitan.c')
0 files changed, 0 insertions, 0 deletions