search

Whiley / WhileyCompiler

The Whiley Compiler (WyC)
http://whiley.org
Apache License 2.0
219 stars 36 forks source link

Build.SnapShot.get() throws IOException ? #1086

Closed DavePearce closed 3 years ago

DavePearce commented 3 years ago

Since Build.SnapShot extends Content.Source we end up with the potential for generating IOExceptions.