Test cases for cs-bug tool available at