#!/bin/sh name=$(basename $1) #cd $(dirname $0) ./koat2cfg_static $1 | ./cfg2ces_static stdin loop_cost_model add_outs slice -o $2/$name.ces > /dev/null ./cofloco_static -i $2/$name.ces -competition -n_candidates 2 -compress_chains 1