GitHub - johanneskloos/Testoracle

This repository has been archived by the owner on Jun 9, 2019. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 225 Commits
.gitignore		.gitignore
.merlin		.merlin
.paths		.paths
.project		.project
.projectSettings		.projectSettings
TODO items for JSTruthiness		TODO items for JSTruthiness
_oasis		_oasis
certifier.ml		certifier.ml
certifierData.ml		certifierData.ml
certifierGraph.ml		certifierGraph.ml
certifierUI.ml		certifierUI.ml
debug.ml		debug.ml
dumplog.ml		dumplog.ml
limitedTask.ml		limitedTask.ml
matchFlags.ml		matchFlags.ml
matchObjects.ml		matchObjects.ml
matchObjects.mli		matchObjects.mli
matchObjects_unit.ml		matchObjects_unit.ml
matchOperations.ml		matchOperations.ml
matchOperations.mli		matchOperations.mli
matchOperations_unit.ml		matchOperations_unit.ml
matchRules.ml		matchRules.ml
matchRules.mli		matchRules.mli
matchTraces.ml		matchTraces.ml
matchTraces.mli		matchTraces.mli
matchTracesObserver.ml		matchTracesObserver.ml
matchTraces_matcher_unit.ml		matchTraces_matcher_unit.ml
matchTraces_unit.ml		matchTraces_unit.ml
matchTypes.ml		matchTypes.ml
matchTypes.mli		matchTypes.mli
matchTypes_unit.ml		matchTypes_unit.ml
oracle.ml		oracle.ml
oracleJobClient.ml		oracleJobClient.ml
oracleMain.ml		oracleMain.ml
unittests.ml		unittests.ml