11c11
< #include "BddHisc.h"
---
> 
54,58d53
< 	// the next three lines were just added.  Need to test that
< 	// they are alright there
< 	m_iConsisChkFail = false;
< 	m_LDNBChkFail = false;
< 	m_LDCtrlChkFail = false;
232,277d226
< /**
<  * A class for storing information for lw synthesis
<  * */
<  class Hisc_LWSynthChkInfo  : public Hisc_ChkInfo
< {
< 
<   public:
<     Hisc_LWSynthChkInfo(void)
<       {
<       }
< 
<      Hisc_LWSynthChkInfo(QString headerInfo): Hisc_ChkInfo(headerInfo)
<       {
<       }
< 
<     ~Hisc_LWSynthChkInfo(void)
<       {
<       }
< };
< 
< /**
<  * A class for storing information for susbsystem lw synthesis
<  * */
<  class Hisc_SubLWSynthChkInfo  : public Hisc_ChkInfo
< {
<   public:
<     QString m_subsystName;   /* DESpot subsystem Name */
< 
<   public:
<     Hisc_SubLWSynthChkInfo(void)
<       {
< 	m_subsystName = "";
<       }
< 
<  Hisc_SubLWSynthChkInfo(QString headerInfo, QString subName): 
<     Hisc_ChkInfo(headerInfo),
<       m_subsystName(subName)
<       {
<       }
< 
<     ~Hisc_SubLWSynthChkInfo(void)
<       {
<       }
< };
< 
< 
298,301c247
< 		       QString filePath, QString SubsName, bool isHigh, Hisc_ChkInfo& checkInfo);
<   int BddHiscCheckProp(DESpot::DesProject& DESpotProj, QString
< 		       SubsName, bool isHigh, HISC_TESTTYPE testType,
< 		       Hisc_ChkInfo& checkInfo);
---
> 		       QString filePath, QString SubsName, bool isHigh,  QString& succOutputMsg);
