Skip to content
This repository


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

An concolic unit testing environment for Python based on DART and CUTE. Generates test inputs to programs to get maximal branch path coverage.

branch: master

Fetching latest commit…

Cannot retrieve the latest commit at this time



PyCUTE is a Python concolic unit testing environment based on DART and CUTE, which are similar programs that generate inputs to C and Java programs that cover as many branch paths as possible.

Something went wrong with that request. Please try again.