#include "app/test/agent_tools_test.h"#include "app/test/test_manager.h"#include "app/test/z3ed_test_suite.h"#include "util/log.h"#include "absl/flags/parse.h"#include "imgui.h"Go to the source code of this file.
Functions | |
| int | main (int argc, char **argv) |
| int main | ( | int | argc, |
| char ** | argv ) |
Definition at line 16 of file main_test.cc.
References yaze::util::LogManager::configure(), yaze::test::TestManager::Get(), yaze::test::TestManager::GetLastResults(), yaze::util::INFO, yaze::util::LogManager::instance(), yaze::test::kFailed, LOG_ERROR, LOG_INFO, yaze::test::RegisterAgentToolsTestSuite(), yaze::test::TestManager::RegisterTestSuite(), yaze::test::RegisterZ3edTestSuites(), and yaze::test::TestManager::RunAllTests().