source: icGREP/icgrep-devel/cudd-2.5.1/dddmp/exp/test3.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: 863 bytes
Line 
1# !/bin/sh
2#
3# BDD check:
4#   Load BDDs
5#   Make some operations
6#   Store BDDs
7#
8rm -f *.*.tmp
9echo "---------------------------------------------------------------------------"
10echo "----------------------- TESTING basic Load/Store ... ----------------------"
11echo "---------------------------------------------------------------------------"
12./../testdddmp << END
13mi
1450
15hlb
160or1.bdd
17bl
180.bdd
190
20bl
211.bdd
221
23op
24or
250
261
272
28bs
290or1.bdd.tmp
302
31bl
322.bdd
332
34bl
353.bdd
363
37op
38and
392
403
414
42bs
432and3.bdd.tmp
444
45hlb
464xor5.bdd
47bl
484.bdd
494
50bl
515.bdd
525
53op
54xor
554
565
576
58bs
594xor5.bdd.tmp
606
61mq
62quit
63END
64echo "----------------------------- ... RESULTS ... -----------------------------"
65diff --brief 0or1.bdd 0or1.bdd.tmp
66diff --brief 2and3.bdd 2and3.bdd.tmp
67diff --brief 4xor5.bdd 4xor5.bdd.tmp
68echo "-------------------------------- ... END ----------------------------------"
69rm -f *.*.tmp
Note: See TracBrowser for help on using the repository browser.