Skip to content
Code Formatting

Make all SMT-LIB variables start with $ #553

Sign in to view logs

Make all SMT-LIB variables start with $

Make all SMT-LIB variables start with $ #553

Run time

Learn about OS pricing on GitHub Actions
Job Run time
code-formatting (3.10)
11s
11s