(Ada) Add testcase for catch assert with condition
authorXavier Roirand <roirand@adacore.com>
Mon, 29 Jan 2018 09:43:21 +0000 (10:43 +0100)
committerXavier Roirand <roirand@adacore.com>
Wed, 31 Jan 2018 12:42:30 +0000 (13:42 +0100)
commit395507f62b98a6a1f6778295a5667110b0fc4b57
treeee1880ebca7f29671776a8de52cc4552ba4e69b3
parent929b5ad40f70fbd5bdf37d30281a761d56c87b59
(Ada) Add testcase for catch assert with condition

gdb/testsuite/ChangeLog:

    * gdb.ada/catch_assert_if.exp: New testcase.
    * gdb.ada/catch_assert_if/bla.adb: New file.
    * gdb.ada/catch_assert_if/pck.ads: New file.

Tested on x86_64-linux.
gdb/testsuite/gdb.ada/catch_assert_if.exp [new file with mode: 0644]
gdb/testsuite/gdb.ada/catch_assert_if/bla.adb [new file with mode: 0644]
gdb/testsuite/gdb.ada/catch_assert_if/pck.ads [new file with mode: 0644]