Permalink
Browse files

Remove option --randomize-fork. If someone needs this, the right way …

…is to implement it in the solver.
  • Loading branch information...
ccadar authored and delcypher committed Nov 19, 2016
1 parent 18bcb21 commit 5133b98f1d989af94902366c6d02eb6447458aa1
Showing with 1 addition and 9 deletions.
  1. +1 −9 lib/Core/Executor.cpp
@@ -119,12 +119,7 @@ namespace {
DumpStatesOnHalt("dump-states-on-halt",
cl::init(true),
cl::desc("Dump test cases for all active states on exit (default=on)"));

cl::opt<bool>
RandomizeFork("randomize-fork",
cl::init(false),
cl::desc("Randomly swap the true and false states on a fork (default=off)"));


cl::opt<bool>
AllowExternalSymCalls("allow-external-sym-calls",
cl::init(false),
@@ -923,9 +918,6 @@ Executor::fork(ExecutionState &current, ref<Expr> condition, bool isInternal) {
falseState = trueState->branch();
addedStates.push_back(falseState);

if (RandomizeFork && theRNG.getBool())
std::swap(trueState, falseState);

if (it != seedMap.end()) {
std::vector<SeedInfo> seeds = it->second;
it->second.clear();

0 comments on commit 5133b98

Please sign in to comment.