/* | |
* Copyright (C) 2019 The Android Open Source Project | |
* | |
* Licensed under the Apache License, Version 2.0 (the "License"); | |
* you may not use this file except in compliance with the License. | |
* You may obtain a copy of the License at | |
* | |
* http://www.apache.org/licenses/LICENSE-2.0 | |
* | |
* Unless required by applicable law or agreed to in writing, software | |
* distributed under the License is distributed on an "AS IS" BASIS, | |
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |
* See the License for the specific language governing permissions and | |
* limitations under the License. | |
*/ | |
#include "RandomGraphGeneratorUtils.h" | |
#include <algorithm> | |
#include <iomanip> | |
#include <memory> | |
#include <sstream> | |
#include <string> | |
#include <vector> | |
#include "RandomGraphGenerator.h" | |
#include "RandomVariable.h" | |
namespace android { | |
namespace nn { | |
namespace fuzzing_test { | |
std::mt19937 RandomNumberGenerator::generator; | |
std::string Logger::getElapsedTime() { | |
auto end = std::chrono::high_resolution_clock::now(); | |
int ms = std::chrono::duration_cast<std::chrono::milliseconds>(end - mStart).count(); | |
int hour = ms / 3600000; | |
int minutes = (ms % 3600000) / 60000; | |
int seconds = (ms % 60000) / 1000; | |
int milli = ms % 1000; | |
std::ostringstream oss; | |
oss << std::setfill('0') << std::setw(2) << hour << ":" << std::setw(2) << minutes << ":" | |
<< std::setw(2) << seconds << "." << std::setw(3) << milli << " "; | |
return oss.str(); | |
} | |
bool LoggerStream::mWriteAbortMessageToSystemLog = false; | |
std::string LoggerStream::mLogTag; | |
} // namespace fuzzing_test | |
} // namespace nn | |
} // namespace android |