Valkyrie User Manual

Table of Contents

1. Introduction

1.1. An Overview of Valkyrie

1.2. Why Valkyrie is thusly named

2. The Main Window

2.1. The MenuBar

2.1.1. The File Menu

2.1.2. The Tools Menu

2.1.3. The Options Menu

2.1.4. The Help Menu

2.1.5. Context Help

2.2. Valgrind Control ToolBar

2.3. ToolView ToolBar

2.4. ToolViews

2.5. Flags Widget

2.6. Status Messages

3. Options Dialog

3.1. Valkyrie Options Page

3.2. Valgrind Options Page

3.2.1. Core Tab

3.2.2. Error Reporting Tab

3.2.3. Suppressions Tab

3.3. Tool Options Pages