Skip to content
Snippets Groups Projects

Add list of rules that are only used by cvc5

Passed
Hans-Jörg created pipeline for commit f8dcee14
, finished
For master
3 jobs 4 minutes 12 seconds, queued for 0 seconds