env.wis.jtlv.regression.smv.legacy
Class BmcTutorialBmcTutorialTC

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by env.wis.jtlv.regression.smv.legacy.ParsingTestCase
              extended by env.wis.jtlv.regression.smv.legacy.BmcTutorialBmcTutorialTC
All Implemented Interfaces:
junit.framework.Test

public class BmcTutorialBmcTutorialTC
extends ParsingTestCase


Field Summary
static java.lang.String filename
           
 
Constructor Summary
BmcTutorialBmcTutorialTC()
           
BmcTutorialBmcTutorialTC(boolean save_ref)
           
 
Method Summary
 void bmc_tutorial_bmc_tutorial()
           
 
Methods inherited from class env.wis.jtlv.regression.smv.legacy.ParsingTestCase
doParsingTest, setUp, tearDown
 
Methods inherited from class junit.framework.TestCase
countTestCases, getName, run, run, runBare, setName, toString
 
Methods inherited from class junit.framework.Assert
assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail, failNotEquals, failNotSame, failSame, format
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

filename

public static final java.lang.String filename
See Also:
Constant Field Values
Constructor Detail

BmcTutorialBmcTutorialTC

public BmcTutorialBmcTutorialTC()

BmcTutorialBmcTutorialTC

public BmcTutorialBmcTutorialTC(boolean save_ref)
Method Detail

bmc_tutorial_bmc_tutorial

public void bmc_tutorial_bmc_tutorial()
                               throws java.io.IOException
Throws:
java.io.IOException