multistart: also check the HTML report
commit78d0e5e671171eced263d982ec298f87e0602eff
authorAkim Demaille <akim.demaille@gmail.com>
Sun, 21 Jun 2020 08:00:55 +0000 (21 10:00 +0200)
committerAkim Demaille <akim.demaille@gmail.com>
Sun, 27 Sep 2020 07:23:51 +0000 (27 09:23 +0200)
treeddbf721cd8dc8b63aef4e5f9a7aa8eecc44b1114
parent85ccc1bab30922492ce8fa682212157f684b0e76
multistart: also check the HTML report

We don't actually have checks for HTML, so let's do it for multistart.

* tests/report.at: here.
tests/report.at