CozySynthesizer / cozy

The collection synthesizer
https://cozy.uwplse.org
Apache License 2.0
209 stars 18 forks source link

check-in MaxBagMain #59

Closed izgzhen closed 6 years ago

Calvin-L commented 6 years ago

We should also have some scripts to run the compiled test harnesses---I'm assuming that will be coming soon.