Esempio n. 1
0
command::log_opt_t rec_command::log() const
{
  return log_opt_t({
      {"runtime", statistics->get<double>( "runtime" )},
      {"equivalent", result}
    });
}
Esempio n. 2
0
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" )}
    });
}
Esempio n. 3
0
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}
    });
}
Esempio n. 4
0
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() )}
    });
}
Esempio n. 5
0
command::log_opt_t qbs_command::log() const
{
  return log_opt_t({
      {"runtime", statistics->get<double>( "runtime" )}
    });
}