43int main(
int argc,
char* argv[]) {
56 std::cerr <<
"HDB file was not given" << std::endl;
60 std::cerr <<
"Illegal arguments" << std::endl;
67 string simulator =
options.vhdlSim();
71 }
else if (simulator ==
GHDL_SIM || simulator.empty()) {
74 std::cerr <<
"Unknown HDL simulator" << simulator << std::endl;
79 bool verbose =
options.verbose();
80 bool leaveDirty =
options.leaveDirty();
82 HDBTester tester(std::cout, std::cerr, sim, verbose, leaveDirty);
85 if (
options.isFUEntryIDGiven()) {
87 int entryID =
options.fuEntryID();
88 if (!tester.
testOneFU(hdbFile, entryID)) {
92 if (
options.isRFEntryIDGiven()) {
94 int entryID =
options.rfEntryID();
95 if (!tester.
testOneRF(hdbFile, entryID)) {
static MachInfoCmdLineOptions options
int main(int argc, char *argv[])
void parse(char *argv[], int argc)
virtual int numberOfArguments() const
std::string errorMessage() const
bool testOneRF(std::string hdbFile, int entryId)
bool testOneFU(std::string hdbFile, int entryId)
bool testAllEntries(std::string hdbFile)
virtual void printHelp() const