I thought that this repository had no demonstration but, after some minutes looking for I found it in almost the last position in the README: thinking:. I think, maybe, by adding the Now Demo Link in the repo description we can get a quick preview of the package 😆.

For example, it seems like .travis.yml uses cmake (for the tests), so this is a cmake project that pops out a library that I should link against (it seems not - cmake is just for tests?)? If I look at a module like cpu that has cpu.h and cpu.c do I just drop those into my project (probably not that simple since they may depend on other modules)?

Maybe something like a default-use case s

Add support for new reach function
Checking out sosy-lab/sv-benchmarks@28369c9