This seems like it could be very useful -- a bit like like Spin [1] but natively for C++. But I'm confused: Is this "just" a header-only library, as claimed? No runtime tool is needed on top? Also, what's with the ($) syntax? I didn't think $ was a valid C++ identifier (even though it can appear in mangled symbol names) -- will that code even compile?
Comments
This seems like it could be very useful -- a bit like like Spin [1] but natively for C++. But I'm confused: Is this "just" a header-only library, as claimed? No runtime tool is needed on top? Also, what's with the ($) syntax? I didn't think $ was a valid C++ identifier (even though it can appear in mangled symbol names) -- will that code even compile?
[1] https://en.m.wikipedia.org/wiki/SPIN_model_checker
$ is a preprocessor macro