diff --git a/src/main.cpp b/src/main.cpp index 88c9812..3071b73 100644 --- a/src/main.cpp +++ b/src/main.cpp @@ -75,6 +75,7 @@ using tgc_e_plat_type = iss::arch::riscv_hart_mu_p #include #include +#include #include #if defined(HAS_LUA) #include @@ -208,7 +209,11 @@ int main(int argc, char *argv[]) { auto *ce_plugin = new iss::plugin::cycle_estimate(filename); vm->register_plugin(*ce_plugin); plugin_list.push_back(ce_plugin); - } else { + } else if (plugin_name == "pctrace") { + auto *plugin = new iss::plugin::cov(filename); + vm->register_plugin(*plugin); + plugin_list.push_back(plugin); + } else { std::array a{{filename.c_str()}}; iss::plugin::loader l(plugin_name, {{"initPlugin"}}); auto* plugin = l.call_function("initPlugin", a.size(), a.data());