Closed lenary closed 10 years ago
I've rebased onto develop
and added stuff about precondition errors and context. The model still passes.
I haven't run dialyzer. It probably hates me.
I've run the orset_bm
against this, it uses way more space than the ORSWOT (proportional to the number of adds), but is not significantly slower for it. :+1:, I'll handle the merge.
:hammer: :hand:
Github got confused and closed #49, so work is here (we were screwing around with branches)
Needed: