20 lines
442 B
C++
20 lines
442 B
C++
#include "Internal.h"
|
|
#include <cstdint>
|
|
#include <fstream>
|
|
#include <sstream>
|
|
|
|
int main(int argc, char **argv) {
|
|
for (int i = 1; i < argc; ++i) {
|
|
std::ifstream t(argv[i], std::ios::binary);
|
|
std::stringstream buffer;
|
|
buffer << t.rdbuf();
|
|
auto str = buffer.str();
|
|
TestDriver<ConflictSet> driver{(const uint8_t *)str.data(), str.size()};
|
|
while (!driver.next())
|
|
;
|
|
if (!driver.ok) {
|
|
abort();
|
|
}
|
|
}
|
|
}
|