turso icon indicating copy to clipboard operation
turso copied to clipboard
Published 3 weeks ago • verified publisher icon tursodatabase

Stub clock

Open PlasmaIntec opened this issue 1 year ago • 2 comments

Makes clock deterministic for test scenarios.

https://github.com/tursodatabase/limbo/issues/439

PlasmaIntec avatar Dec 31 '24 14:12 PlasmaIntec

Can you explain more how this is a problem in simulator? I don't see any usages of the get_current_time fn implemented for the IO trait [code].

PlasmaIntec avatar Dec 31 '24 20:12 PlasmaIntec

Hey @PlasmaIntec, what @pereman2 is saying is that we should fix get_current_time() in the IO trait instead of introducing a separate clock. The purpose of IO is to abstract all non-deterministic behavior in one place for simpler simulation.

penberg avatar Jan 04 '25 08:01 penberg

This pull request has been marked as stale due to inactivity. It will be closed in 7 days if no further activity occurs.

penberg avatar Feb 04 '25 00:02 penberg

This pull request has been closed due to inactivity. Please feel free to reopen it if you have further updates.

penberg avatar Feb 12 '25 00:02 penberg