coresolvertest: debug statements