Checks if we correctly detect eof if we try to read N bits when there are not enough bits left on the input stream to read N bits, and we are using a data streamer. In particular, it checks if we properly set the object size when the eof is reached under such conditions.
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected