source: icGREP/icgrep-devel/cudd-2.5.1/dddmp/exp/test2.script @ 4597

Last change on this file since 4597 was 4597, checked in by nmedfort, 4 years ago

Upload of the CUDD library.

  • Property svn:executable set to *
File size: 739 bytes
Line 
1# !/bin/sh
2#
3# Check BDDs from DDDMP-1.0:
4#   Load an Array of BDDs from DDDMP-1.0
5#   Store them
6#
7rm -f *.*.tmp
8echo "---------------------------------------------------------------------------"     
9echo "-------------------- TESTING Load BDD from DDDMP-1.0 ----------------------"
10echo "---------------------------------------------------------------------------"     
11./../testdddmp << END
12mi
1310
14hlb
15s27deltaDddmp1.bdd
16hw
17bal
18s27deltaDddmp1.bdd
190
20bas
21s27deltaDddmp1.bdd.tmp
220
23mq
24quit
25END
26echo "----------------------------- ... RESULTS ... -----------------------------"
27diff --brief s27deltaDddmp1.bdd.tmp s27deltaDddmp1.bdd.bis
28echo "-------------------------------- ... END ----------------------------------"
29rm -f *.*.tmp   
30
Note: See TracBrowser for help on using the repository browser.