Method | Description | |
---|---|---|
testEmptyBody1 ( ) : boolean | ||
testInfinityEmptyWhileLoop1 ( ) : boolean | ||
testInfinityEmptyWhileLoop2 ( ) : boolean | ||
testInfinityEmptyWhileLoop3 ( ) : boolean | ||
testInfinityEmptyWhileLoopAlwaysTrueExpr ( ) : boolean | ||
testNotInfinityEmptyWhileLoop3 ( ) : boolean | ||
testSuccess1 ( ) : boolean |
Method | Description | |
---|---|---|
alwaysTrue ( ) : boolean |
public testInfinityEmptyWhileLoop1 ( ) : boolean | ||
return | boolean |
public testInfinityEmptyWhileLoop2 ( ) : boolean | ||
return | boolean |
public testInfinityEmptyWhileLoop3 ( ) : boolean | ||
return | boolean |
public testInfinityEmptyWhileLoopAlwaysTrueExpr ( ) : boolean | ||
return | boolean |
public testNotInfinityEmptyWhileLoop3 ( ) : boolean | ||
return | boolean |