Categorygithub.com/HSMF/minify-gobra
repositorypackage
0.0.0-20241130145335-93738249736e
Repository: https://github.com/hsmf/minify-gobra.git
Documentation: pkg.go.dev
Overview
Dependencies
12
Dependents
0

# README

minify-gobra

try to simplify a gobra verification by removing some lines

Example Usage

go run . --baseline 60s ./verified_go_stdlib/src/bytes/