Skip to content
This repository has been archived by the owner on Jul 31, 2018. It is now read-only.

Testcase to catch transparently failed interpreter build #5

Open
IgnoredAmbience opened this issue Feb 3, 2015 · 1 comment
Open

Testcase to catch transparently failed interpreter build #5

IgnoredAmbience opened this issue Feb 3, 2015 · 1 comment
Assignees
@IgnoredAmbience
Labels
buildsystem

Comments

@IgnoredAmbience
Copy link
Member

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 IgnoredAmbience self-assigned this Feb 3, 2015
@IgnoredAmbience
Copy link
Member Author

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

@IgnoredAmbience IgnoredAmbience mentioned this issue May 11, 2015
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@IgnoredAmbience IgnoredAmbience

Labels
buildsystem
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@IgnoredAmbience