Skip to content

Conversation

@Guest0x0
Copy link
Collaborator

  • add @io.BufferedReader::find_opt, which returns None on EOF, so that EOF can be handled more robustly
  • add @io.BufferedReader::read_line

@coveralls
Copy link

coveralls commented Oct 15, 2025

Pull Request Test Coverage Report for Build 583

Details

  • 13 of 14 (92.86%) changed or added relevant lines in 1 file are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage increased (+0.2%) to 78.866%

Changes Missing Coverage Covered Lines Changed/Added Lines %
src/io/buffered_reader.mbt 13 14 92.86%
Totals Coverage Status
Change from base Build 582: 0.2%
Covered Lines: 1168
Relevant Lines: 1481

💛 - Coveralls

@Guest0x0 Guest0x0 force-pushed the improve-buffered-reader branch 2 times, most recently from 1310992 to 879fb4d Compare October 15, 2025 09:26
@Guest0x0 Guest0x0 force-pushed the improve-buffered-reader branch from 879fb4d to af88859 Compare October 15, 2025 09:30
@Guest0x0 Guest0x0 merged commit d4fbcdb into main Oct 15, 2025
10 checks passed
@Guest0x0 Guest0x0 deleted the improve-buffered-reader branch October 15, 2025 09:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants