lldb/test/Shell/Reproducer/TestVerify.test

# RUN: rm -rf %t.repro
# RUN: rm -rf %t.repro2
# RUN: %clang_host %S/Inputs/simple.c -g -o %t.out
# RUN: %lldb -x -b -s %S/Inputs/GDBRemoteCapture.in --capture --capture-path %t.repro %t.out
# RUN: %lldb --replay %t.repro

# RUN: echo "/bogus/home/dir" > %t.repro/home.txt
# RUN: echo "/bogus/current/working/dir" > %t.repro/cwd.txt

# RUN: not %lldb -b -o 'reproducer verify -f %t.repro' 2>&1 | FileCheck %s
# CHECK: working directory '/bogus/current/working/dir' not in VFS
# CHECK: home directory '/bogus/home/dir' not in VFS

# RUN: rm %t.repro/root/%S/Inputs/GDBRemoteCapture.in
# RUN: echo "CHECK: '%S/Inputs/GDBRemoteCapture.in': No such file or directory" > %t.check
# RUN: not %lldb -b -o 'reproducer verify -f %t.repro' 2>&1 | FileCheck %t.check

# RUN: not %lldb --replay %t.repro 2>&1 | FileCheck %s

# At this point the reproducer is too broken to ignore the verification issues.
# Capture a new reproducer and only change the home directory, which is
# recoverable as far as this test goes.

# RUN: %lldb -x -b -s %S/Inputs/GDBRemoteCapture.in --capture --capture-path %t.repro2 %t.out
# RUN: echo "/bogus/home/dir" > %t.repro2/home.txt
# RUN: %lldb --replay %t.repro2 --reproducer-no-verify 2>&1 | FileCheck %s --check-prefix NO-VERIFY
# NO-VERIFY-NOT: home directory '/bogus/home/dir' not in VFS