Assertion list for term "resume in the vmm".

Results from Ascent++: 1
execution CapableOfresume in the vmm 0.25