Open mihaibudiu opened 5 years ago
In the initial state rconf will contain 2 ^32 values which is probably why it takes so long
Lim is 8
Only after the first transaction
This is bad. I wonder whether you can start evaluation only at the first commit.
Then tests that don't make any commits will fail.
We could add a flag to ddlog to differentiate between these two cases. Frankly, for an incremental engine that case is rather extreme
I have renamed this issue; we should give users the option not to evaluate programs in the initial state.
this has interactions with d3log also 1) every instance performs this evaluation whether or not its started late 2) initial evaluations that contain locality may have additional correctness problems
i dont know that we have to change this, just that its making me uncomfortable
I don't think it matters, each instance has the same starting state and as long as timestamps are obeyed the state of all nodes will become consistent
At least not in a decent time.
for this input file: