search

VerifiableRobotics / slugs

SmalL bUt Complete GROne Synthesizer
Other
37 stars 25 forks source link

Slugs Fuzzer needs to be updated #1

Open progirep opened 11 years ago

progirep commented 11 years ago

The slugs fuzzer currently does not produce initialization constraints. This should be changed at some point.