Take total dynamic precedence into account in stack version sorting

Signed-off-by: Josh Vera <vera@github.com>
This commit is contained in:
Max Brunsfeld 2017-10-09 15:51:22 -07:00 committed by Josh Vera
parent 36c2b685b9
commit 121a6a66ec
3 changed files with 27 additions and 3 deletions

View file

@ -104,6 +104,8 @@ StackPopResult ts_stack_pop_all(Stack *, StackVersion);
unsigned ts_stack_depth_since_error(Stack *, StackVersion);
int ts_stack_dynamic_precedence(Stack *, StackVersion);
void ts_stack_record_summary(Stack *, StackVersion, unsigned max_depth);
StackSummary *ts_stack_get_summary(Stack *, StackVersion);