solverState

fun solverState(moduleDescriptor: ModuleDescriptor): String