c4-project / c4f

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

Add statistics dumper for C tests #174

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 4 years ago

This would output a lot of things that aren't included in a Litmus header, but are useful for making decisions such as how to lift the test to a harness.

This would basically just be a list of category-count pairs like so:

threads 2
returns 10
literal-bools 90

These stats would be useful because:

Eventually there'd be a non-threads count that can be used to determine whether to activate indirect mode.

MattWindsor91 commented 4 years ago

Done, but could be expanded.