aboutsummaryrefslogtreecommitdiffstats
path: root/tests/various/equiv_opt_undef.ys
Commit message (Expand)AuthorAgeFilesLines
* equiv_induct: Fix up assumption for $equiv cells in -undef mode.Marcelina Koƛcielnicka2020-07-271-0/+35