<?xml version="1.0" encoding="UTF-8"?>
<test-data>
    <test-code>
        <description><![CDATA[
simple failure case
     ]]></description>
        <expected-problems>1</expected-problems>
        <code><![CDATA[
public class Foo {
 void foo() {
  for (int i=0; i<42;i++)
       foo();
 }
}
     ]]></code>
    </test-code>
    <test-code>
        <description><![CDATA[
ok
     ]]></description>
        <expected-problems>0</expected-problems>
        <code><![CDATA[
public class Foo {
 void foo() {   
  for (int i=0; i<42;i++) {
       foo();
  }
 }
}
     ]]></code>
    </test-code>
    <test-code>
        <description><![CDATA[

     ]]></description>
        <expected-problems>1</expected-problems>
        <code><![CDATA[
public class Foo {
 void foo() {   
  for (int i=0; i<42;) 
       foo();
 }
}
     ]]></code>
    </test-code>
    <test-code>
        <description><![CDATA[

     ]]></description>
        <expected-problems>1</expected-problems>
        <code><![CDATA[
public class Foo {
 void foo() {   
  for (int i=0;;) 
       foo();
 }
}
     ]]></code>
    </test-code>
    <test-code>
        <description><![CDATA[

     ]]></description>
        <expected-problems>1</expected-problems>
        <code><![CDATA[
public class Foo {
 void foo() {   
  for (;;) 
       foo();
 }
}
     ]]></code>
    </test-code>
</test-data>
