Re: [Swan-dev] test suite noise

2020-08-17 Thread Paul Wouters
On Sun, 16 Aug 2020, D. Hugh Redelmeier wrote: The testsuite seems to report a bunch of errors. Could folks fix the ones that they are responsible for? Mostly my fault. It has taken longer than expected to resolve these, partially due to my home network router failures. I will try and

[Swan-dev] test suite noise

2020-08-16 Thread D. Hugh Redelmeier
The testsuite seems to report a bunch of errors. Could folks fix the ones that they are responsible for? Here are the first few that I encounted when trying to test a change. Most look easy or important. Or even expected but not documented in any way. basic-pluto-09-orienting failed