Skip to content

zoep/CUTE-homework

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

8 Commits
 
 
 
 
 
 

Repository files navigation

CUTE-homework

This is part of the homework assignment described here.

The goal was to implement a test case generation tool similar to CUTE/DART for a subset of C.

The tool was implemented in OCaml. We prefered to use the STP solver instead of the recommended yices however we would like to add support for more solvers.

Note that we used STP and it's OCaml bindings found here not the ones from STP's site.

Dependencies

To compile:

$ cd stp
$ ./clean-install.sh
$ cd ../
$ cd cil
$ ./configure
$ make
$ cd cute
$ make
$ cd mycute
$ make

To test:

$ cd cute
$ ./cutec tests/testme.c
$ tests/testme.exe
$ ./cute ../mycute/mycute tests/testme.exe -i 10

About

Concolic testing for C programs

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages