Adopt use of better-files library to clean up file IO code

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint

https://apalache-mc.org/

Apache License 2.0

436 stars 40 forks source link

Adopt use of better-files library to clean up file IO code #1316

Open shonfeder opened 2 years ago

shonfeder commented 2 years ago

I just came accross better-files

It looks like it could help us substantially clean up some of our file-based IO code, at the cost of an extra dependency). Just opening this as a lead for possible future investigation.

thpani commented 1 year ago

Related: #1320