Validation of C litmus test function signatures missing

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

Validation of C litmus test function signatures missing #65

Closed MattWindsor91 closed 5 years ago

MattWindsor91 commented 5 years ago

There currently isn't any validation to make sure that the function signatures of C litmus tests are valid, eg. that each function's parameters are the same and that they correspond to the init block.