Stream: wg-async-foundations

Topic: Test coverage

repjarms (May 10 2019 at 19:31, on Zulip):

Based on the discussion around tests on the meeting this week, are there any critical areas we are looking to add tests that might appear in the Call for Tests?

repjarms (May 10 2019 at 19:31, on Zulip):

I'd be happy to look at those as an area to get started

centril (May 10 2019 at 20:23, on Zulip):

I'll need to take a look; haven't done so yet

nikomatsakis (May 28 2019 at 17:35, on Zulip):

So @centril the edge cases I was thinking of were mostly interactions around type inference, and perhaps trying to explore some cases relevant to auto-derf

centril (May 28 2019 at 17:39, on Zulip):


nikomatsakis (Jun 11 2019 at 17:23, on Zulip):

@centril one thing I was thinking is that we clearly need tests for various kinds of interesting things that might be "live" (or "live-ish") over an await

nikomatsakis (Jun 11 2019 at 17:23, on Zulip):

there are I guess two angles though, one is kind of testing the language interactions and one is testing the robutstness of the impl

centril (Jun 11 2019 at 17:23, on Zulip):

language interactions is about robustness :P

centril (Jun 11 2019 at 17:24, on Zulip):

I see this as checking various special properties of async/await and then checking general properties about the language in async/await

centril (Jun 11 2019 at 17:25, on Zulip):

where the latter can easily be 100s of tests

centril (Jun 14 2019 at 18:08, on Zulip):

@WG-async-foundations We are putting together a document with things we would like to see tests for:

Please add to that list if you think of something and be creative :slight_smile:

Last update: Jul 16 2020 at 15:10UTC