search

resource-reasoning / jscert_dev

This repository is now abandoned in favour of using
https://github.com/jscert/jscert
Other
0 stars 0 forks source link

Testcase to catch transparently failed interpreter build #5

Open IgnoredAmbience opened 9 years ago

IgnoredAmbience commented 9 years ago

It is possible to break the JSRef build by introducing uncomputable/unrealized axioms into the codebase. Some quick testcase should run in the CI build process to catch this.

IgnoredAmbience commented 9 years ago

Additional thought: some script in the CI build process to diff between builds the axioms not realised output from the Coq extraction step.