Skip to content

Latest commit

 

History

History
52 lines (41 loc) · 1.34 KB

usage.md

File metadata and controls

52 lines (41 loc) · 1.34 KB
Raw

User Manual

Suported Systems

Muteria is written in Python and thus can run on Windows, Linux or macOS.

Installation

muteria requires Python 3.

  1. Install Muteria by running:
pip install muteria
  1. View the usage help:
muteria --help

Usage

Muteria requires to have the underlying tools installed on the system.

Usage example C (in Docker container)

A docker image, with preinstalled tools, can be used to run muteria on a sample C language program. The installed tools are: GNU GCov, KLEE, Shadow, Mart, SEMu.

  1. Pull the docker image:
docker pull thierrytct/cm
  1. run the docker image in a container:
docker run -it --rm thierrytct/cm bash
  1. Download the example program:
git clone https://github.com/muteria/example_c.git
  1. Change into the example program directory:
cd example_c
  1. run using the configuration file in ctrl/conf.py
muteria --config ctrl/conf.py --lang c run

Usage example Python

Example of measuring coverage for a python program using coverage.py.

  1. Install coverage.py: