Assertion list
stream (primary) → AtLocation

Results from Ascent++: 8
streamAtLocation flood 0.51
streamAtLocation the updating state 0.40
streamAtLocation active state 0.39
streamAtLocation end-of-file 0.38
streamAtLocation deleting 0.32
streamAtLocation eof 0.28
streamAtLocation spate 0.28
streamAtLocation normal levels 0.16