List view

<code>copilot-theorem</code>: Code contains unused pragmas

CR:Status:VerificationAdmin only: Change request that is currently being verifiedAdmin only: Change request that is currently being verified

CR:Type:ManagementAdmin only: Change request for conformance with policies or proceduresAdmin only: Change request for conformance with policies or procedures

Status: Open.

#613 In Copilot-Language/copilot;

· ivanperez-keera opened on Mar 29, 2025