Skip to content

Fix issue #12 #13

Closed
LCBH wants to merge 3 commits intoDP-3T:masterfrom
LCBH:master
Closed

Fix issue #12 #13
LCBH wants to merge 3 commits intoDP-3T:masterfrom
LCBH:master

Conversation

@LCBH
Copy link

@LCBH LCBH commented Apr 15, 2020

Fix issue #12 and modify the mock example accordingly.
Diff for #b08a5b5 solely corresponds to autopep8 outputs and can be reproduced with autopep8 -i <python file>.

@wouterl
Copy link
Collaborator

wouterl commented Apr 27, 2020

Thanks for pointing out this issue! I believe this is fixed in the rewrite and covered by the following test:

def test_contact_tracing_no_replay_after_release(protocol):

@wouterl wouterl closed this Apr 27, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants