use File::Basename;
my $testcase_file = $ARGV[0];
my $executable_file = $ARGV[1];
my $input_filename = basename $testcase_file;
my $output_dir = dirname $executable_file;
my $debugger_script_file = "$output_dir/$input_filename.debugger.script";
my $output_file = "$output_dir/$input_filename.gdb.output";
open(INPUT, $testcase_file);
open(OUTPUT, ">$debugger_script_file");
while(<INPUT>) {
my($line) = $_;
$i = index($line, "DEBUGGER:");
if ( $i >= 0) {
$l = length("DEBUGGER:");
$s = substr($line, $i + $l);
print OUTPUT "$s";
}
}
print OUTPUT "\n";
print OUTPUT "quit\n";
close(INPUT);
close(OUTPUT);
my $my_debugger = $ENV{'DEBUGGER'};
if (!$my_debugger) {
$my_debugger = "gdb";
}
my $debugger_options = "-q -batch -n -x";
system("$my_debugger $debugger_options $debugger_script_file $executable_file >& $output_file");
system("FileCheck", "-input-file", "$output_file", "$testcase_file");
if ($?>>8 == 1) {
exit 1;
}
else {
exit 0;
}