mirror of
https://github.com/NaC-L/Mergen.git
synced 2026-06-11 09:44:31 +00:00
Bug 1 (P1): generate_flag_stress_vectors.py now reads all Semantics_*.ipp files from the semantics directory instead of a single file. Supports both directory (default) and single-file modes via --semantics arg. Bug 2 (P2): TestInstructions.h default opcode path updated to lifter/semantics/x86_64_opcodes.x. Issue 3 (P2): rewrite_microtests_SOURCES in CMakeLists.txt now includes all headers matching the lifter target, fixing IDE source groups.
11 lines
366 B
C++
11 lines
366 B
C++
#pragma once
|
|
|
|
#include <cstdint>
|
|
#include <string>
|
|
|
|
int testInit(const std::string& suiteFilter = "");
|
|
int buildFullHandlerSeed(const std::string& outputPath,
|
|
const std::string& opcodePath = "lifter/semantics/x86_64_opcodes.x",
|
|
uint64_t maxAttempts = 2'500'000,
|
|
uint64_t randomSeed = 1337);
|