Ascent++ | tested on linux

Assertion list for term "tested on linux".

Results from Ascent++: 2

source code → ReceivesAction → tested on linux	0.25
capture → ReceivesAction → tested on linux	0.16