4 ms·
One of the later chapters describes the Tyche tool, which seems to be available as this VisualStudio(Code?) extension https://marketplace.visualstudio.com/items
by chriswarbo 2y ago
One of the later chapters describes the Tyche tool, which seems to be available as this VisualStudio(Code?) extension https://marketplace.visualstudio.com/items?itemName=HarrisonGoldstein.tyche https://marketplace.visualstudio.com/items?itemName=Harrison... and has a standalone version at https://tyche-pbt.github.io/tyche-extension/ https://tyche-pbt.github.io/tyche-extension/
It reads JSON data (described in the paper), which can be generated during property checking, e.g. using https://github.com/tyche-pbt/tyche-quickcheck https://github.com/tyche-pbt/tyche-quickcheck or a Hypothesis equivalent.