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