Files
Mergen/lifter/test/TestInstructions.h
yusufcanislek caacc3d566 Address review: fix flag-stress generator, stale opcode default, CMakeLists headers
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.
2026-03-06 18:56:12 +03:00

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);