#!/bin/sh
echo "running espresso"
espresso add.logic > add.pla
echo "running genie"
genie -pla add.pla | genie -pmr
echo "running octopus"
octopus add
echo "running sparcs"
sparcs add
echo "running chipstats"
chipstats add:spaced