search

phoronix-test-suite / test-profiles

A read-only Git copy of the OpenBenchmarking.org test profiles.
Other
68 stars 80 forks source link

Add Z3 test profile #273

Closed lucic71 closed 1 year ago

lucic71 commented 1 year ago

I think small edits need to be done in test-definition.xml.