#include "Internal.h" #include #include #include int main(int argc, char **argv) { for (int i = 1; i < argc; ++i) { printf("Running: %s\n", argv[i]); std::ifstream t(argv[i], std::ios::binary); std::stringstream buffer; buffer << t.rdbuf(); auto str = buffer.str(); TestDriver driver{(const uint8_t *)str.data(), str.size()}; while (!driver.next()) ; if (!driver.ok) { abort(); } } }