search

c4-project / c4f

The C4 Concurrent C Fuzzer
MIT License
14 stars 1 forks source link

Validate incoming Herd configuration #36

Open MattWindsor91 opened 5 years ago

MattWindsor91 commented 5 years ago

There's a stub in lib/Herd.ml for doing validation on the configuration, but it isn't actually used yet.