fefrei / prog2tests

Automatically exported from code.google.com/p/prog2tests

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

loop, if and ternary labels

GoogleCodeExporter opened this issue · comments

The labels of a loop/if/ternary may NEVER occur twice.
Tests could look like this:

int foo(int a) {
  int retVal = 0;
  if (a > 0) {
    if (a > 5) {
      retVal = 10;
    } else {
      retVal = 5;
    }
  } else {
    if (a < -5) {
      retVal = -10;
    } else {
      retVal = -5;
    }
  }
  return retVal;
}

And now test with -15, -3, 3, and 15.

Original issue reported on code.google.com by Nichmen...@gmail.com on 20 Jul 2012 at 11:00

Included in:
testStackedIf
testStackedCond
testStackedWhile
testStackedDoWhile

Original comment by Nichmen...@gmail.com on 24 Jul 2012 at 7:02

  • Changed state: Added