3 # Check Header Load/Store for BDD/ADD/CNFs:
5 # Write Information on Standard Output
8 echo "---------------------------------------------------------------------------"
9 echo "--------------------- TESTING Load and Write Header -----------------------"
10 echo "---------------------------------------------------------------------------"
26 echo "-------------------------------- ... END ----------------------------------"