command::log_opt_t rec_command::log() const { return log_opt_t({ {"runtime", statistics->get<double>( "runtime" )}, {"equivalent", result} }); }
command::log_opt_t required_lines_command::log() const { return log_opt_t({ {"additional", additional}, {"num_inputs", statistics->get<unsigned>( "num_inputs" )}, {"num_outputs", statistics->get<unsigned>( "num_outputs" )}, {"runtime", statistics->get<double>( "runtime" )} }); }
command::log_opt_t random_circuit_command::log() const { return log_opt_t({ {"lines", lines}, {"gates", gates}, {"negative", is_set( "negative" )}, {"insert_gate", is_set( "insert_gate" )}, {"seed", seed} }); }
command::log_opt_t quit_command::log() const { utsname u; uname( &u ); return log_opt_t({ {"sysname", std::string( u.sysname )}, {"nodename", std::string( u.nodename )}, {"release", std::string( u.release )}, {"version", std::string( u.version )}, {"machine", std::string( u.machine )}, {"supported_threads", static_cast<int>( std::thread::hardware_concurrency() )} }); }
command::log_opt_t qbs_command::log() const { return log_opt_t({ {"runtime", statistics->get<double>( "runtime" )} }); }