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?