#
# Leon3 - via 127.0.0.1:1235
#
# file bin.debug.FPU.leon3.WITH_COVERAGE/fputest
# tar extended-remote 127.0.0.1:1235
# load bin.debug.FPU.leon3.WITH_COVERAGE/fputest


# Leon2
#
# file bin.debug.FPU.leon2.WITH_COVERAGE/fputest
# tar extended-remote me:1234
# load bin.debug.FPU.leon2.WITH_COVERAGE/fputest


# QEMU/Leon3
#
# Spawn the emulator first:
#
#    ~/tool-src/misc/qemu-Leon3/qemu-system-sparc -no-reboot \
#           -nographic -M leon3_generic -m 64M -kernel  \
#           bin.debug.FPU.leon3/fputest -gdb tcp::9976 -S
#
file bin.debug.FPU.leon3.WITH_COVERAGE/fputest
tar extended-remote 127.0.0.1:9976
load bin.debug.FPU.leon3.WITH_COVERAGE/fputest

# The coverage exporting to the host
b base.c:79
commands 1
    silent
    set $filename = tmp->info->filename
    set $dataBegin = buffer
    set $dataEnd = buffer + bytesNeeded
    eval "dump binary memory %s 0x%lx 0x%lx", $filename, $dataBegin, $dataEnd
    echo dump binary memory $filename $dataBegin $dataEnd
    echo \n
    c
end
b base.c:83
commands 2
    silent
    stop
    monitor quit
    set confirm off
    quit
end
c