@SuppressWarnings({ "rawtypes", "unchecked", "deprecation" })
@SuppressWarnings({ "rawtypes", "unchecked", "deprecation" })
public class GeneratedTest {
     
    public static void main(String[] args) throws Throwable {
        new GeneratedTest().run();
    }
     
    private void run() throws Throwable {
         
        final tso.examples.SimpleDeadlock var0 = new tso.examples.SimpleDeadlock();
var0.m1();
var0.m1();
var0.m1();
var0.m1();
var0.m1();
 
         
        Thread t1 = new Thread(new Runnable() {
            public void run() {
              try {
 
                  var0.m1();
var0.m2();
 
 
        } catch (Throwable t) {
          throw new RuntimeException(t);
        }
            }
        });
         
        Thread t2 = new Thread(new Runnable() {
            public void run() {
              try {
 
                  var0.m1();
var0.m2();
 
 
        } catch (Throwable t) {
          throw new RuntimeException(t);
        }
            }
        });
         
        t1.start();
        t2.start();
         
        try {
            t1.join();
            t2.join();
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
    }
     
}