tracer-x / MCDC Public

All the tools related to MC/DC test-case generation and adequacy checker are added here.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
KLEE		KLEE
RCCCtechnique		RCCCtechnique
.psyco_security_true-unreach-call_false-termination.pre.swp		.psyco_security_true-unreach-call_false-termination.pre.swp
README.md		README.md
delete.sh		delete.sh
mainmcdc.sh		mainmcdc.sh
psyco_security_true-unreach-call_false-termination.post		psyco_security_true-unreach-call_false-termination.post
psyco_security_true-unreach-call_false-termination.pre		psyco_security_true-unreach-call_false-termination.pre