#!/bin/bash
rm -rf cov-int
cd build;
rm -rf *
cmake .. 
make clean
cov-build --dir ../cov-int make
