| commit | b81229e1f93999c77887422c0795407154876823 | |
| author | Akim Demaille <akim.demaille@gmail.com> | |
| Mon, 20 Jul 2020 05:03:39 +0000 (20 07:03 +0200) | ||
| committer | Akim Demaille <akim.demaille@gmail.com> | |
| Mon, 20 Jul 2020 05:09:31 +0000 (20 07:09 +0200) | ||
| tree | 3a8e04268085cc7801af05c5b8a935068051ecb3 | treesnapshot (tar.gz zip) |
| parent | 815a76f5583311c6d00024584d153544e9391d5d | commitdiff |
cex: improve readability of the subsections
Now that the derivation is no longer printed on one line, aligning the
example and the derivation is no longer useful. It can actually be
harmful, as it makes the overall structure less clear.
* src/derivation.h, src/derivation.c (derivation_print_leaves): Remove
the `prefix` argument.
* src/counterexample.c (print_counterexample): Put the example next to
its label.
* tests/conflicts.at, tests/counterexample.at, tests/diagnostics.at,
* tests/report.at: Adjust.
Now that the derivation is no longer printed on one line, aligning the
example and the derivation is no longer useful. It can actually be
harmful, as it makes the overall structure less clear.
* src/derivation.h, src/derivation.c (derivation_print_leaves): Remove
the `prefix` argument.
* src/counterexample.c (print_counterexample): Put the example next to
its label.
* tests/conflicts.at, tests/counterexample.at, tests/diagnostics.at,
* tests/report.at: Adjust.