emergency commit
[cl-cudd.git] / distr / nanotrav / tst.sh
blobc51e67e29f210fc70bb2115edd81f7d10f244596
1 #! /bin/sh
3 # $Id: tst.sh,v 1.2 1998/05/03 08:41:38 fabio Exp fabio $
5 ./nanotrav -p 1 -cover C17.blif > C17.tst
6 ./nanotrav -p 1 -ordering dfs -autodyn -automethod sifting -reordering sifting -drop C880.blif > C880.tst
7 ./nanotrav -p 1 -trav s27.blif > s27.tst
8 ./nanotrav -p 1 -autodyn -reordering sifting -trav mult32a.blif > mult32a.tst
9 ./nanotrav -p 1 -envelope rcn25.blif > rcn25.tst