How to Properly Use Polystate?

github.com

1 pointgoless3 comments

I changed the file name, here is the new article!

The correct way to use polystate is: reason about program behavior through symbols, then transform these symbols into code.

This might sound bewildering, but don't worry - I'll explain this process through concrete examples.