goblint / analyzer

Static analysis framework for C
https://goblint.in.tum.de
MIT License
172 stars 72 forks source link

Switch from `BatEnum` to `Seq` #1437

Open sim642 opened 5 months ago

sim642 commented 5 months ago

In #975 some code was switched from eagerly-constructed lists to the standard Seq.t. However, there's still many places where BatEnum/Enum is used, which offers similar lazy-sequence functionality.

We could try switching to the more standard Seq.t in those Enum instances, as long as there's no performance regression from doing so.