diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2025-03-09 23:09:41 +0100 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2025-03-09 23:09:41 +0100 |
| commit | e78a7cb73f33453a97fa12cfa8e5af07d1aa6eba (patch) | |
| tree | f45f5505082353b559e7315659b1a60396e64458 /test-framework/Test/Framework.hs | |
| parent | a590b1414baec157da3a1f6c5684b1a3bce8ecaf (diff) | |
test: Also test pre-simplified term
Diffstat (limited to 'test-framework/Test/Framework.hs')
0 files changed, 0 insertions, 0 deletions