8. Settings

Behavior and default settings of TestsChecker can be adjusted by selecting Options from the File menu. Subsequently, a configuration dialog is displayed.

Available preferences and settings: