"SmvLock.withLock" should "time out if lock cannot be obtained within a specified time"
we force Thread 2 to wait for a resource acquired by Thread 1 and verify that Thread 2 eventually times out. All of this succeeds. That we assert that Thread 1 held on to the resource for the expected amount of time. This assertion is failing in Docker, where Thread 1 is holding the resource for slightly less time than expected, likely because the VM clock is slightly less accurate than the host. Should just remove this assertion, since it isn't valuable in validating SMV's behavior.
In
we force Thread 2 to wait for a resource acquired by Thread 1 and verify that Thread 2 eventually times out. All of this succeeds. That we assert that Thread 1 held on to the resource for the expected amount of time. This assertion is failing in Docker, where Thread 1 is holding the resource for slightly less time than expected, likely because the VM clock is slightly less accurate than the host. Should just remove this assertion, since it isn't valuable in validating SMV's behavior.