Closed ebosnjak closed 1 day ago
As @Jiahui17 suggested while discussing #179, this PR is to fix style inconsistencies in the HLS verifier according to these guidelines.
As @Jiahui17 suggested while discussing #179, this PR is to fix style inconsistencies in the HLS verifier according to these guidelines.