43 add more repetition checks for tests

[gliargovas]

No description provided.

[github-actions]

OS:ubuntu-20.04
Tue May 23 16:23:19 UTC 2023
Summary: 0/23 tests passed.

[angelhof]

Looks good to me, thanks! we can merge as long as the timing in tests is robust (if the tests pass with very high probability on atlas+cloudlab due to timing).

[github-actions]

OS:ubuntu-20.04
Wed May 24 14:33:19 UTC 2023
Summary: 0/23 tests passed.

[angelhof]

@gliargovas Are we close to merging this? What is its status?

[github-actions]

OS:ubuntu-20.04
Tue Jun 6 11:10:34 UTC 2023
Summary: 0/23 tests passed.

[gliargovas]

@angelhof tests pass both locally and on cloudlab. Commented-out anything inconsistent. Feel free to merge :-)

[angelhof]

Great, looks good. @gliargovas Could you first merge with main (git fetch --all; git merge origin/main) and rerun the tests on your machine? I have merged some PRs in main and I just want to make sure that when merging nothing has broken. If tests pass, feel free to merge :)

[github-actions]

OS:ubuntu-20.04
Fri Jun 9 10:40:47 UTC 2023
Summary: 4/24 tests passed.

[gliargovas]

@angelhof Made a minor change to the log level of the repetitions check (previously TRACE, now DEBUG). Tests pass and are consistent. Feel free to merge :-)

[angelhof]

Great, merged, thank you :)