search

basho / riak_dt

Convergent replicated datatypes in Erlang
Apache License 2.0
353 stars 70 forks source link

Resurrect Sam & Sean's 'Better' EQC #80

Closed lenary closed 10 years ago

lenary commented 10 years ago

"Better" remains to be seen, but at least intent was clearer, and it tested far more behaviour of the CRDT itself, which was nice (including serialisation, merges, updates).

It's loltastically out of date. I've done a bit of work when I removed everything related to GC, but there are still some bugs - indeed the only module i've written callbacks for so far is failing right now.

This is up so @rdb can get eyes on it tomorrow and tell me if I'm an idiot or not.

lenary commented 10 years ago

So the change to update/3 makes this change fuuuun, because of EQC's symbolic and dynamic values.

I think I may have to add a model_update_error_expected(...) callback or something similar.

seancribbs commented 10 years ago

I think @russelldb's new EQC on #83 supersedes any of this work. Let's reopen if/when this needs revisiting.