Make the evidence say what it measures: scope the coverage number, assert what the oracles actually execute (#910) - #918

Make the evidence say what it measures: scope the coverage number, assert what the oracles actually execute (#910)#918

avrabe merged 11 commits into

mainpulseengine/synth:mainfrom

lane/v055-l5-evidence-scopepulseengine/synth:lane/v055-l5-evidence-scopeCopy head branch name to clipboard