Configuration Manual#

The configuration pages describe the global Config class that controls CHEERSafe runtime behavior.

Pages#

Page	Use it for
Config	Runtime flags, input/output paths, iteration counts, random seed policy, and automatic/manual execution examples.