- DummyProject_BDD.cpp
- CounterExampleAlgo_BDDAnsAcpt.cpp   
- CounterExampleAlgo_BDDLwCntr.cpp
- CounterExampleAlgo_BDDFCntr.cpp     
- CounterExampleAlgo_BDDLwNB.cpp
- CounterExampleAlgo_BDDFNB.cpp	    
- CounterExampleAlgo_BDDIReqAcpt.cpp
- OutputUiPart.cpp


check for hisc - check all, individiual, and bdd and non-bdd


start with non-bdd ld nonblock check

- need to update help files to say counter examples not supported for
  multi-level.   still works for a bi-level check?  (testhisc2 fails nb)

Set a rem for myself to look into fixing this.

------------------------------------------------
fixed:

t - show(LwNonBlockingAlgo
- show(IConsistAnsAcceptAlgo
- show(LowSubsysIConsistAlgo
- show(IConsistAlgo
- show(LwCtrlAlgo
- show(HighSubsysNonBlockAlgo
- show(LowSubsysNonBlockAlgo
- show(HighSubsysCtrlAlgo
- show(LowSubsysCtrlAlgo
- show(BDDHISC::Hisc_LWNBChkInfo
- show(BDDHISC::Hisc_SubLWNBChkInfo
- show(BDDHISC::Hisc_LWContChkInfo
- show(BDDHISC::Hisc_SubLWContChkInfo
- show(BDDHISC::Hisc_IConsisChkInfo
- show(BDDHISC::Hisc_SubIConsisChkInfo




Have husam test this - bi-level failures should still offer
counterexample, but multi-level failures just give error pop up.


---   want to merge this into trunk and release new version of the
      trunk with these fixes.


- need to update the help files still  (edited CES.html - when I
  updload a new version to website, I need to change this html file)

- I updated the multi-testcases for the event is sup but not plant issue

- check changes into svn including change to examples.
---------------------------------------
