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.

Sign up for GitHub

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

Jump to bottom

RNG seed #1023

Closed
davidtr1037 opened this issue Nov 14, 2018 · 3 comments · Fixed by #1279
Closed

RNG seed #1023

davidtr1037 opened this issue Nov 14, 2018 · 3 comments · Fixed by #1279

Comments

@davidtr1037
Copy link
Contributor

It seems that there is no way to set the seed for KLEE's RNG.
There is an -rng-seed option, but it does not affect the seed in the RNG class.
@davidtr1037 davidtr1037 changed the title RNG Seed RNG seed Nov 14, 2018
251 added a commit to 251/klee that referenced this issue Jun 25, 2020
@251
introduce --rng-initial-seed=<unsigned>
af491c1 
* move global theRNG into Executor
* pass theRNG via ctor to searchers
* remove some type warnings from RNG.cpp

Fixes klee#1023.
251 added a commit to 251/klee that referenced this issue Jun 25, 2020
@251
introduce --rng-initial-seed=<unsigned>
04a05b7 
* move global theRNG into Executor
* pass theRNG via ctor to searchers
* remove some type warnings from RNG.cpp

Fixes klee#1023.
@251 251 mentioned this issue Jun 25, 2020
Merged
251 added a commit to 251/klee that referenced this issue Jun 26, 2020
@251
introduce --rng-initial-seed=<unsigned>
5b315ff 
* move global theRNG into Executor
* pass theRNG via ctor to searchers
* remove some type warnings from RNG.cpp

Fixes klee#1023.
251 added a commit to 251/klee that referenced this issue Jun 30, 2020
@251
introduce --rng-initial-seed=<unsigned>
7a18d25 
* move global theRNG into Executor
* pass theRNG via ctor to searchers
* remove some type warnings from RNG.cpp

Fixes klee#1023.
@ccadar
Copy link
Contributor

ccadar commented Jul 28, 2020

@davidtr1037 what -rng-seed option are you referring to?

251 added a commit to 251/klee that referenced this issue Jul 29, 2020
@251
introduce --rng-initial-seed=<unsigned>
d2a4c4b 
* move global theRNG into Executor
* pass theRNG via ctor to searchers
* remove some type warnings from RNG.cpp

Fixes klee#1023.
@251
Copy link
Contributor

251 commented Jul 29, 2020 •
edited
Loading

@ccadar It's one of the (now) hidden LLVM options.

@ccadar
Copy link
Contributor

ccadar commented Jul 30, 2020

Forgot about those, thanks.

ccadar pushed a commit that referenced this issue Jul 30, 2020
@251 @ccadar
introduce --rng-initial-seed=<unsigned>
661fba8 
* move global theRNG into Executor
* pass theRNG via ctor to searchers
* remove some type warnings from RNG.cpp

Fixes #1023.
251 added a commit to 251/klee that referenced this issue Dec 2, 2022
@251
introduce --rng-initial-seed=<unsigned>
7f93cf1 
* move global theRNG into Executor
* pass theRNG via ctor to searchers
* remove some type warnings from RNG.cpp

Fixes klee#1023.
ccadar pushed a commit to ccadar/klee that referenced this issue Oct 19, 2023
@251 @ccadar
introduce --rng-initial-seed=<unsigned>
38abe51 
* move global theRNG into Executor
* pass theRNG via ctor to searchers
* remove some type warnings from RNG.cpp

Fixes klee#1023.
ccadar pushed a commit to ccadar/klee that referenced this issue Oct 20, 2023
@251 @ccadar
introduce --rng-initial-seed=<unsigned>
5995ff3 
* move global theRNG into Executor
* pass theRNG via ctor to searchers
* remove some type warnings from RNG.cpp

Fixes klee#1023.
ccadar pushed a commit to ccadar/klee that referenced this issue Oct 20, 2023
@251 @ccadar
introduce --rng-initial-seed=<unsigned>
16a4ac5 
* move global theRNG into Executor
* pass theRNG via ctor to searchers
* remove some type warnings from RNG.cpp

Fixes klee#1023.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

introduce --rng-initial-seed=<unsigned> 251/klee
3 participants
@251 @ccadar @davidtr1037