Skip to content
master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 

SMT-COMP Postprocessors

This repository contains postprocessors for SMT-COMP.

Building

The postprocessors are now build using a docker script. Checkout the scrambler and the postprocessors in the same directory and run the scripts in the docker sub-directory.

git clone https://github.com/SMT-COMP/scrambler
git clone https://github.com/SMT-COMP/postprocessors
cd postprocessors/docker
./create-docker.sh
./build-docker.sh
ls -l *.tar.gz

Installing on StarExec

Note that only leaders may upload post-processors to starexec, see the StarExec Wiki.

The tarballs created in the docker directory can be uploaded directly.