GitHub - aas-integration/daikon-measurements: Measurements of coverage of Daikon toolset on the corpus

aas-integration / daikon-measurements Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Measurements of coverage of Daikon toolset on the corpus

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
INSTRUCTIONS		INSTRUCTIONS
README		README
collect-inv-numbers.sh		collect-inv-numbers.sh
count-inv.pl		count-inv.pl
daikon-invariants.xls		daikon-invariants.xls
daikon-progress-slide.pptx		daikon-progress-slide.pptx
daikon-projects-20170120.xlsx		daikon-projects-20170120.xlsx
runone.py		runone.py

Repository files navigation

This repository contains measurements of Daikon's output when run over the corpus.

See INSTRUCTIONS for notes on how to collect a new set of measurements.