For the lease tests with quickcheck-statemachine, we have a PassTime command that simply sleeps to ensure time passes and the leases time out. This is obviously slow. If we could inject a fake provider of time into the system, we could advance the clock as we please and the tests would run faster. They would also be more amenable to concurrent testing of race conditions.
For the lease tests with
quickcheck-statemachine, we have aPassTimecommand that simply sleeps to ensure time passes and the leases time out. This is obviously slow. If we could inject a fake provider of time into the system, we could advance the clock as we please and the tests would run faster. They would also be more amenable to concurrent testing of race conditions.