=== User constraints === === Auto constraints === Coverage report User constraints covered 5 connections out of 22 total, coverage: 22.7% Auto constraints covered 5 connections out of 22 total, coverage: 22.7%