|
|
@ -60,14 +60,14 @@ def _analyze_state(state: GlobalState): |
|
|
|
|
|
|
|
|
|
|
|
annotations = cast( |
|
|
|
annotations = cast( |
|
|
|
List[MultipleSendsAnnotation], |
|
|
|
List[MultipleSendsAnnotation], |
|
|
|
[a for a in state.get_annotations(MultipleSendsAnnotation)], |
|
|
|
list(state.get_annotations(MultipleSendsAnnotation)), |
|
|
|
) |
|
|
|
) |
|
|
|
if len(annotations) == 0: |
|
|
|
if len(annotations) == 0: |
|
|
|
log.debug("Creating annotation for state") |
|
|
|
log.debug("Creating annotation for state") |
|
|
|
state.annotate(MultipleSendsAnnotation()) |
|
|
|
state.annotate(MultipleSendsAnnotation()) |
|
|
|
annotations = cast( |
|
|
|
annotations = cast( |
|
|
|
List[MultipleSendsAnnotation], |
|
|
|
List[MultipleSendsAnnotation], |
|
|
|
[a for a in state.get_annotations(MultipleSendsAnnotation)], |
|
|
|
list(state.get_annotations(MultipleSendsAnnotation)), |
|
|
|
) |
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
calls = annotations[0].calls |
|
|
|
calls = annotations[0].calls |
|
|
|