Verify that reading external core files typechecks the result

GaloisInc / saw-script

The SAW scripting language.

BSD 3-Clause "New" or "Revised" License

437 stars 63 forks source link

Open robdockins opened 8 years ago

robdockins commented 8 years ago

If it does not, make it typecheck after reading.

brianhuffman commented 6 years ago

This would be taken care of by implementing certified terms (#18).