Debugging Valuations

Overview

This tutorial demonstrates how to identify and fix numerical differences between recording stage and AADC Kernel execution using automated instrumentation without modifying source code.

Key Features:

Automatic instrumentation: Enable via AADC_INSTRUMENT_CODE=1 environment variable
Discrepancy analysis: Python script to identify first divergence point
Debugger integration: Stop at specific check points with AADC_DEBUG_STOP_RECORDING_AT
Manual instrumentation: Use AADC_PRINT() for precise variable tracking

Quick Start:

# Enable instrumentation and capture log
AADC_INSTRUMENT_CODE=1 ./myProgram > log.txt

# Analyze discrepancies
python aadc_debug_analyzer.py log.txt

# Debug at specific check point
AADC_DEBUG_STOP_RECORDING_AT=4 AADC_INSTRUMENT_CODE=1 gdb ./myProgram

This is a preview of the Debugging Valuations documentation.

The full documentation includes step-by-step tutorials, detailed log format explanations, and debugging workflow examples.