29 #ifndef NEMOSYS_AUTOVERIFICATIONJSON_H_ 30 #define NEMOSYS_AUTOVERIFICATIONJSON_H_ 32 #include <jsoncons/json.hpp> 41 (getOpts, setOpts,
"Verification Options"),
43 [](
const jsoncons::string_view &x) {
47 JSONCONS_ALL_MEMBER_NAME_TRAITS(
NEM::DRV::AutoVerificationDriver::Files,
48 (coarseMeshFile, "Coarse Mesh File"),
49 (fineMeshFile, "Fine Mesh File"),
50 (finerMeshFile, "Finer Mesh File"))
52 JSONCONS_N_MEMBER_NAME_TRAITS(
NEM::DRV::AutoVerificationDriver::Opts, 1,
53 (arrayIds, "Array IDs"),
54 (transferType, "Transfer Type"),
55 (targetGCI, "Target GCI"),
56 (numThreads, "Threads"))
58 #endif // NEMOSYS_AUTOVERIFICATIONJSON_H_
static constexpr const char * programType
This class drives the automatic verification (AV) in Nemosys.
#define NEM_JSON_N_GETTER_SETTER_NAME_TRAITS_FINAL(ValueType, ParentType, NumMandatoryParams,...)
static constexpr auto programType
static constexpr auto meshFiles
#define NEM_JSON_RDONLY_OVERRIDE(X)