Skip to content
lint

Update CVC5 tested date and match new output from CVC5 #358

Sign in to view logs

Update CVC5 tested date and match new output from CVC5

Update CVC5 tested date and match new output from CVC5 #358

Run time

Learn about OS pricing on GitHub Actions
Job Run time
hlint
58s
58s