DonggeLiu / Legion Public

A coverage-based software testing tool

Name		Name	Last commit message	Last commit date
Latest commit History 306 Commits
Baselines		Baselines
ProgramUnderTest		ProgramUnderTest
Results		Results
.gitignore		.gitignore
.gitmodules		.gitmodules
DFS.py		DFS.py
Dockerfile		Dockerfile
Dockerfile.sv		Dockerfile.sv
LICENSE		LICENSE
Legion.py		Legion.py
Makefile		Makefile
README.md		README.md
__VERIFIER.c		__VERIFIER.c
__trace_jump.s		__trace_jump.s
benchmark		benchmark
first-results.zip		first-results.zip
legion-sv		legion-sv
legion.xml		legion.xml
second-results.zip		second-results.zip
tbf.xml		tbf.xml
third-results.zip		third-results.zip
trace-as		trace-as
trace-cc		trace-cc
tracejump.py		tracejump.py
validate		validate

Repository files navigation

Principes

Second version of Legion, with progresses and TODOs