Request clarification on behavior reading SP3 ephemeris files missing "EOF"

[rconde01]

The SP3 format says that SP3 ephemeris files should end with "EOF". However, the gnsstk code mentions being tolerant of a missing EOF.

Using the approach in SP3_T.cpp for reading a file, you will miss the last record if the file is missing the EOF.

Would this be considered a bug, or is gnsstk not intended to properly read files which are missing an EOF?