Skip to content

Conversation

@iand
Copy link
Contributor

@iand iand commented Oct 16, 2023

This test was left as skipped by mistake

@dennis-tra
Copy link
Contributor

I unskipped it here as well:

https://github.com/plprobelab/zikade/pull/61/files#r1357880416

I haven't looked yet which testing procedure I think is better. Just wanted to leave the pointer here for now

@iand
Copy link
Contributor Author

iand commented Oct 16, 2023

Closing in favour of #61

@iand iand closed this Oct 16, 2023
@dennis-tra dennis-tra deleted the unskip-deadlock-test branch January 8, 2024 15:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants