that is very strange and should not be the case
okay, that's good to know. I'll investigate further!
I thought I read somewhere (can’t remember where, unfortunately) that there is a kaocha plugin that will detect functions that have been specced with fdef
and run stest/check
on them. Does anyone know if this exists?