search

google / buzzer

Apache License 2.0
429 stars 32 forks source link

More debug information for the metrics server #37

Closed greek-stasia closed 1 year ago

greek-stasia commented 1 year ago

Hi there!

I've had buzzer running for 16+ hours and my metrics server shows no coverage for verifier.c I'm not sure if I'm not giving it the file parameter correctly. It would be good to know where I may need to troubleshoot

thatjiaozi commented 1 year ago

hey! Did you compile your kernel with kcov?

greek-stasia commented 1 year ago

Hi! Yes I did! I had CONFIG_KCOV=y in my .config

Is the file parameter supposed to have a file path relative to the VM or the host?

greek-stasia commented 1 year ago

ahhh wait I finally got it. I just typed in the name of the file. I assumed some sort of absolute path needed to be there based on the images in the README

thatjiaozi commented 1 year ago

good to know that it is fixed! :)