Skip to content

Commit

Permalink
remove stale comment
Browse files Browse the repository at this point in the history
  • Loading branch information
quickbeam123 committed Sep 2, 2024
1 parent f02ec57 commit a05dc51
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion Lib/Timer.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -118,7 +118,6 @@ static std::chrono::time_point<std::chrono::steady_clock> START_TIME;
#if VAMPIRE_PERF_EXISTS
if(env.options->instructionLimit() || env.options->simulatedInstructionLimit()) {
Timer::updateInstructionCount();
// TODO this looks like it exits with only a simulated instruction limit?
if (env.options->instructionLimit() && LAST_INSTRUCTION_COUNT_READ >= MEGA*(long long)env.options->instructionLimit()) {
// in principle could have a race on terminationReason, seems unlikely/harmless in practice
env.statistics->terminationReason = Shell::Statistics::TIME_LIMIT;
Expand Down

0 comments on commit a05dc51

Please sign in to comment.