search

theosotr / cynthia

Data-Oriented Differential Testing of ORM Systems.
GNU General Public License v3.0
14 stars 1 forks source link

Use constraint solvers for data generation #33

Closed theosotr closed 4 years ago