Hmm, indeed a call to __gcov_dump() is missing. After calling this, I get the .gcda files generated. And the reports seem correct.
Shall I add this call to host_abort()? Apart from manual control through NSH, it would be nice to have the files generated as the simulator exits. It is the "standard" expected behavior, and maybe the only solution to systems without NSH. On Thu, Aug 25, 2022 at 5:15 PM Xiang Xiao <xiaoxiang781...@gmail.com> wrote: > On Thu, Aug 25, 2022 at 10:05 PM Fotis Panagiotopoulos < > f.j.pa...@gmail.com> > wrote: > > > Ah, yes. I didn't have CONFIG_BOARDCTL_POWEROFF enabled, so I didn't see > > this command. > > > > Nevertheless, it is still not working. > > Indeed the simulator exits, but the .gcda files are not generated. > > > > > Try this tools: > > https://github.com/apache/incubator-nuttx-apps/blob/master/system/gcov/gcov.c > > > > On Thu, Aug 25, 2022 at 4:52 PM Gregory Nutt <spudan...@gmail.com> > wrote: > > > > > > But there is no way to terminate the simulator gracefully. > > > > > > Doesn't this work > > > > > > nsh> poweroff > > > > > > On the simulator, that should lead to exit() being called which is a > > > "normal" termination. > > > > > > > > > > > >
