libera/#ecl - IRC Chatlog
Search
11:55:58
yitzi
jackdaniel: rtoy has been very helpful. I think we have probably come to a consensus. There are a few other things I need to tweak, but the good news that we've come with a mechanism to set the disabled notes in addition to the expected failures with the same file.
12:00:44
jackdaniel
I regret that I never had enough time to properly follow up in line with his pace
13:37:34
jackdaniel
finally I've found a few hours to work on ecl, I'm thrilled :) the nimble* type inferencer goes brrt
17:16:07
yitzi
I was just trying to make sure that rtoy understood that there was an "unexpected failure" section since he missed that before. I didn't have a test run with unexpected failures around so I faked it. Sorry.
17:28:09
yitzi
jackdaniel: I am wondering if the summary "48 failures with 2 unexpected failures and 24 unexpected successes out of 21908 tests." should be at the very end versus before the listing of the failed tests.
17:35:39
jackdaniel
I'd go as you've shown in that example, but if it is clearly stated then (imo) both are OK
17:48:33
yitzi
jackdaniel: Here is the report I got for ECL. The last two are probably false since they were supposed to be excluded. https://plaster.tymoon.eu/view/3803