GitHub - zhoulaifu/coverme: raw data of my coverme implementation, pldi'17

This repo includes raw implementation data on the CoverMe tool described in our paper:

Fu, Zhoulai, and Zhendong Su. "Achieving high coverage for floating-point code via unconstrained programming." ACM PLDI'17.

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
benchs		benchs
config		config
ext		ext
include		include
lib		lib
output		output
src		src
BVA_FILE.txt		BVA_FILE.txt
BVA_FUNC.txt		BVA_FUNC.txt
BVA_TYPE.txt		BVA_TYPE.txt
Makefile		Makefile
README.md		README.md
bva.py		bva.py
config.py		config.py
logo.txt		logo.txt
logo2.txt		logo2.txt
root.txt		root.txt
root_dir		root_dir
theBench.txt		theBench.txt

zhoulaifu/coverme