[Javapathfinder-devel] Thread.sleep

[Michal K. <mic...@gm...>]

Hi,

I have this piece of code run under JPF and it seems Thread.sleep doesn't work 
correctly. The native sleep method always ends in this branch.

if (!ti.isFirstStepInsn()) { // first time we see this (may be the only time)
       // nothing to do, we are good to go
}

@Test
public void sleep() {
	try {
		Thread.sleep(1000);
	} catch (InterruptedException e) {
		e.printStackTrace();
	}
}

MK