Do not print the class name twice for unsplittable test units#686

Merged

hcoles merged 1 commit intohcoles:masterfrom Vampire:qualified-name-for-unsplittable-test-classes

Oct 5, 2019

+1-1

Commits on Sep 27, 2019

hcoles#657 Do not print the class name twice for unsplittable test units
Vampire
committed