Skip to content

Conversation

khatchad
Copy link
Member

@khatchad khatchad commented Feb 13, 2018

Work on #80 and #176.

New precondition failure for when N is too small. Also, remove workaround for #80 (it's not accurate).
Don't consider methods in the call string that don't return streams. We need a trace.
I don't think we have this bug with unordered() any longer, perhaps due to arbitrary call string lengths of ctor fixes.
Make N flexible within the framework. Now, will need to modify the evaluator.
@khatchad khatchad merged commit 3a10355 into master Feb 20, 2018
@khatchad khatchad deleted the issue_80 branch February 20, 2018 20:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant