Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add seed to Random sampling filter #501

Merged
merged 3 commits into from
Mar 17, 2023

Conversation

boxanm
Copy link
Collaborator

@boxanm boxanm commented Oct 12, 2022

I added the seed parameter, already present for other filters, such as Maximum point count or NSS. I think that eventually this parameter should be added to all filters that contain randomness to allow a fair comparison between e.g. sampling methods.

@ethzasl-jenkins
Copy link

Can one of the admins verify this patch?

@pomerlef
Copy link
Collaborator

add to whitelist

@YoshuaNava
Copy link
Contributor

Thank you!!!

@YoshuaNava
Copy link
Contributor

YoshuaNava commented Oct 12, 2022

Btw, an idea for follow-up. In those unit tests that rely on randomness, we could record the random seed, such that we can still 'test the filters randomly' (random is, ultimately, their intended behavior), but still be able to debug test failures.

See http://google.github.io/googletest/reference/testing.html#Test::RecordProperty

@pomerlef
Copy link
Collaborator

ok to test

@pomerlef
Copy link
Collaborator

Took me a while to pin point the error in the log:

fatal: unable to connect to github.com:
github.com[0: 140.82.121.4]: errno=Connection timed out

The ASL CI server is not behaving properly and I'm not sure who is maintaining that anymore.

@pomerlef pomerlef merged commit 398cefb into norlab-ulaval:master Mar 17, 2023
@boxanm boxanm deleted the seed_random_sampling branch March 17, 2023 14:08
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.

4 participants