fix: report a missing spec for an un-steppable vcgen program head - #14688

fix: report a missing spec for an un-steppable vcgen program head#14688

sgraf812 merged 3 commits into

leanprover:masterleanprover/lean4:masterfrom

sgraf812:sg/vcgen-liftm-loop-fixsgraf812/lean4:sg/vcgen-liftm-loop-fixCopy head branch name to clipboard