Fix the unit test script: * To not explicitly call simplifying minisat (which isn't an option if compiled with cms). * To remove comments and blank lines (which are introduced by AIG's conversion).
Fix the unit test script:
* To not explicitly call simplifying minisat (which isn't an option if compiled with cms).
* To remove comments and blank lines (which are introduced by AIG's conversion).



git-svn-id: 5069ba8be4c997ee907bf46f8ec9a2bbfb655637@937 e59a4935-1847-0410-ae03-e826735625c1

linpc/STP,linpc/STP,linpc/STP,linpc/STP,linpc/STP