gnat-gdb-scripts/testsuite/coverage.ini at master - gnat-gdb-scripts - ProxGit

ada/gnat-gdb-scripts

mirror of https://github.com/AdaCore/gnat-gdb-scripts.git synced 2026-02-12 12:44:23 -08:00

Files

Pierre-Marie de Rodat c81db28966 Testsuite: switch to Python3 and e3-testsuite

Also introduce a Mypy setup, to type-check the testsuite code (only that
for now).

Change-Id: Ib90b1ac7e344fb34c7560dc0ff32ca95e0705cd7
TN: U622-042

2021-10-13 11:48:31 +02:00

12 lines

157 B

INI

Raw Permalink Blame History

 [run]
 source = gnatdbg
 branch = True
 omit =
 [report]
 exclude_lines =
     def __repr__
     raise NotImplementedError()
     assert False
     no-code-coverage