Moved regression tests into test/ and got rid off some irrelevant files - Githubissues

usi-verification-and-security / opensmt

The opensmt solver

Other

78 stars 18 forks source link

Moved regression tests into test/ and got rid off some irrelevant files #761

Closed Tomaqa closed 2 months ago

Tomaqa commented 2 months ago

Resolves #702

Tomaqa commented 2 months ago

examples, benchmarking and benchmark are still untouched