!7

// Test is OK when interruption message shows the stack trace as reason

p-exp {
  Lock lock = lock();
  
  Thread a = thread "A" {
    lock lock;
    sleepSeconds(10);
  };
  
  Thread b = thread "B" {
    sleepSeconds(1);
    lock lock;
    sleepSeconds(10);
  };
  
  sleepSeconds(3);
  interruptThread(b);
}