.gdbinit « health « ccured_olden « test - compcert - CompCert fork with minor modifications for Vericert.

about summary refs log tree commit diff stats

path: root/test/ccured_olden/health/.gdbinit

blob: ce03cd23ba32deb88a39a15e72cf8b5455d3a95e (plain)

# .gdbinit

file health
set args 2 5 1
break main
run