GitHub - chmanchester/calico: A C source code rewriter for runtime metamorphic testing

chmanchester / calico Public

forked from orren/calico

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

A C source code rewriter for runtime metamorphic testing

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 234 Commits
documentation		documentation
examples		examples
martirank		martirank
parser		parser
writer		writer
.gitignore		.gitignore
Makefile		Makefile
README		README
calico.ml		calico.ml
calico_prop_library.h		calico_prop_library.h

Repository files navigation

CIS 573 Final Project
Chris Manchester
Orren Saltzman
December, 2013

This folder contains a makefile that will compile the main executable for
Calico and run a variety of examples (from the examples/ and martirank/
directories). The tool requires an ocaml and C compiler. It is known to
work correctly with ocamlc 3.12.1 and gcc 4.7.2.

Generated C files are stored in the examples/ folder, while generated
executables are stored in the top level directory. Both may be removed
by running the clean target.

Documentation and a writeup of the tool is in the documentation/ folder.
The martirank/ folder contains sources for the martirank application used
in experiments.