search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Move all tests into `test` directory #702

Closed Tomaqa closed 2 months ago

Tomaqa commented 6 months ago

For example, regression tests.