ethereum / hevm

symbolic EVM evaluator
https://hevm.dev
GNU Affero General Public License v3.0
223 stars 45 forks source link

Fix solver support on Windows #484

Closed elopez closed 3 months ago

elopez commented 4 months ago

Description

The solver output on Windows has \r\n line endings, which the code doesn't account for. We need to trim the extra \r for it to work properly. This also cleans up extra concatenations by using the *Ln function variants.

Checklist