Skip to content

Fix random seed windows#91

Merged
robbr48 merged 5 commits intomainfrom
fix_random_seed_windows
Aug 13, 2025
Merged

Fix random seed windows#91
robbr48 merged 5 commits intomainfrom
fix_random_seed_windows

Conversation

@robbr48
Copy link
Owner

@robbr48 robbr48 commented Aug 13, 2025

Use system time instead of process ID to seed random generator. This gives each FMU a (hopefully) unique temp path.

@robbr48 robbr48 self-assigned this Aug 13, 2025
@robbr48 robbr48 added the bug Something isn't working label Aug 13, 2025
@robbr48 robbr48 merged commit 2f6c90a into main Aug 13, 2025
4 checks passed
@robbr48 robbr48 deleted the fix_random_seed_windows branch August 13, 2025 07:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant