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

Repository files navigation

RCCCtechniqueTX

RCCCtechniqueTX

About

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

Custom properties

2 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages