Re: [PATCH] kcsan: Add test suite

2020-05-05 Thread Paul E. McKenney
On Tue, May 05, 2020 at 03:01:45PM +0200, Marco Elver wrote: > On Tue, 5 May 2020 at 07:00, David Gow wrote: > > > > On Mon, Apr 27, 2020 at 11:23 PM 'Marco Elver' via kasan-dev > > wrote: > > > > > > On Mon, 27 Apr 2020 at 16:35, Marco Elver wrote: > > > > > > > > This adds KCSAN test focusing

Re: [PATCH] kcsan: Add test suite

2020-05-05 Thread Marco Elver
On Tue, 5 May 2020 at 07:00, David Gow wrote: > > On Mon, Apr 27, 2020 at 11:23 PM 'Marco Elver' via kasan-dev > wrote: > > > > On Mon, 27 Apr 2020 at 16:35, Marco Elver wrote: > > > > > > This adds KCSAN test focusing on behaviour of the integrated runtime. > > > Tests various race scenarios,

Re: [PATCH] kcsan: Add test suite

2020-05-04 Thread David Gow
On Mon, Apr 27, 2020 at 11:23 PM 'Marco Elver' via kasan-dev wrote: > > On Mon, 27 Apr 2020 at 16:35, Marco Elver wrote: > > > > This adds KCSAN test focusing on behaviour of the integrated runtime. > > Tests various race scenarios, and verifies the reports generated to > > console. Makes use of