diff options
author | Alice Frosi <afrosi@redhat.com> | 2023-07-04 16:08:50 +0200 |
---|---|---|
committer | Alice Frosi <afrosi@redhat.com> | 2023-07-04 16:52:16 +0200 |
commit | 86ceb944ecbbbc0b10871fbd7e8462bda8aceb07 (patch) | |
tree | 7475d822b33215373d540b0b1c06f1a9dd0857c4 /Makefile | |
parent | edee15930bc10babade0fe7dcf25baef225c4b53 (diff) | |
download | seitan-86ceb944ecbbbc0b10871fbd7e8462bda8aceb07.tar seitan-86ceb944ecbbbc0b10871fbd7e8462bda8aceb07.tar.gz seitan-86ceb944ecbbbc0b10871fbd7e8462bda8aceb07.tar.bz2 seitan-86ceb944ecbbbc0b10871fbd7e8462bda8aceb07.tar.lz seitan-86ceb944ecbbbc0b10871fbd7e8462bda8aceb07.tar.xz seitan-86ceb944ecbbbc0b10871fbd7e8462bda8aceb07.tar.zst seitan-86ceb944ecbbbc0b10871fbd7e8462bda8aceb07.zip |
test: fix filter tests
The filter tests recompile and pass.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions