No highlighting for a class with a interface with CodeContracts `[ContractClass]`

[artkpv]

Thank you for the great open tool!

Is it bug that there is no highlighting on the left for this code?

Here is the method GetManageableRoles and xunit test for it. It is under this interface:

	[ContractClass(typeof(AuthorizationServiceContract))]
	public interface IAuthorizationService  { ... }

	[ContractClassFor(typeof(IAuthorizationService))]
	public abstract class AuthorizationServiceContract : IAuthorizationService  { ... }

[axodox]

Can you export the coverage to HTML (report tab / export)?

• If the coverage is the same there, then this is an OpenCover bug (in that case you will need to submit it there),
• Otherwise it is an AxoCover bug (in which case I would ask for a small sample project to reproduce the issue).

[artkpv]

@axodox Actually after this error I've switched to OpenCover. It worked there then.

[axodox]

Can you send me the coverage xml file generated by AxoCover (put it into the .axoCover/runs) and OpenCover? Or if sensitive can you run a diff on the file and tell me if you see any difference?