cprover
|
Time Stopping. More...
Go to the source code of this file.
Functions | |
absolute_timet | current_time () |
std::ostream & | operator<< (std::ostream &out, const time_periodt &period) |
Time Stopping.
Definition in file time_stopping.cpp.
absolute_timet current_time | ( | ) |
Definition at line 47 of file time_stopping.cpp.
Referenced by symex_coveraget::build_cobertura(), build_goto_trace(), path_searcht::check_assertion(), path_searcht::drop_state(), path_searcht::is_feasible(), bmc_all_propertiest::operator()(), path_searcht::operator()(), bmc_covert::operator()(), absolute_timet::operator-(), path_searcht::report_statistics(), bmct::run_decision_procedure(), fault_localizationt::run_decision_procedure(), timert::start(), and timert::stop().
std::ostream& operator<< | ( | std::ostream & | out, |
const time_periodt & | period | ||
) |
Definition at line 59 of file time_stopping.cpp.
References fine_timet::get_t().
Referenced by absolute_timet::operator-().