Use `;` for comments in SMTParse (as done in SMTLIB) #326

Sign in to view logs

Summary
Jobs
- hlint-3.8
Run details
- Usage
- Workflow file

Triggered via pull request August 6, 2024 22:37

ranjitjhala

synchronize #700

semicolon

Status Success

Total duration 27s

Artifacts –

hlint.yml

on: pull_request