| 206 | } |
| 207 | |
| 208 | VirtualMachine::~VirtualMachine() { |
| 209 | if (!threads_closed_) { CHECK_JUST(CloseVMThreads()); } |
| 210 | RunMainThreadPendingTasks(); |
| 211 | CHECK(engine_->SchedulerEmpty()); |
| 212 | engine_.Reset(); |
| 213 | } |
| 214 | |
| 215 | std::function<Maybe<bool>()> VirtualMachine::GetPredicatorNoMoreInstructionsFinished() { |
| 216 | auto last_total_erased = std::make_shared<size_t>(0); |
nothing calls this directly
no test coverage detected