/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-runner.ali is in libahven6-dev 2.6-1.2.
This file is owned by root:root, with mode 0o444.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 | V "GNAT Lib v7"
A -O2
A -g
A -gnatf
A -gnatVa
A -gnato
A -gnatwe
A -gnatwa
A -gnatwl
A -gnatE
A -gnatwF
A -gnatyd
A -gnaty3
A -gnatyb
A -gnatym
A -gnatyh
A -gnatye
A -gnatyx
A -gnat95
A -g
A -fdebug-prefix-map=/build/ahven-f400BO/ahven-2.6=.
A -fstack-protector-strong
A -gnatA
P SL SS ZX
RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_DISPATCH
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_FIXED_POINT
RV NO_NESTED_FINALIZATION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U ahven.runner%b ahven-runner.adb 199ff87c DE NE OO PK
W ada%s ada.ads ada.ali
W ada.command_line%s a-comlin.adb a-comlin.ali
W ada.exceptions%s a-except.adb a-except.ali
W ada.tags%s a-tags.adb a-tags.ali
W ahven%s ahven.adb ahven.ali
W ahven.listeners%s ahven-listeners.adb ahven-listeners.ali
W ahven.listeners.basic%s ahven-listeners-basic.adb ahven-listeners-basic.ali
W ahven.name_list%s ahven-name_list.ads ahven-name_list.ali
W interfaces%s interfac.ads interfac.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
W system.soft_links%s s-soflin.adb s-soflin.ali
W system.standard_library%s s-stalib.adb s-stalib.ali
U ahven.runner%s ahven-runner.ads 0783f321 DE EE NE OO PK
W ahven%s ahven.adb ahven.ali
W ahven.framework%s ahven-framework.adb ahven-framework.ali
W ahven.parameters%s ahven-parameters.adb ahven-parameters.ali
W ahven.results%s ahven-results.adb ahven-results.ali
D ada.ads 20170106103348 76789da1 ada%s
D a-calend.ads 20160420090448 2d5f01d4 ada.calendar%s
D a-charac.ads 20070912115821 2d3ec45b ada.characters%s
D a-chlat1.ads 20140225151544 66457d31 ada.characters.latin_1%s
D a-comlin.ads 20140225151544 ea62afbc ada.command_line%s
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
D a-finali.ads 20151020095656 bf4f806b ada.finalization%s
D a-ioexce.ads 20140225151544 e4a01f64 ada.io_exceptions%s
D a-stream.ads 20141120112812 119b8fb3 ada.streams%s
D a-string.ads 20070406091342 90ac6797 ada.strings%s
D a-strbou.ads 20140731124036 53ab54ae ada.strings.bounded%s
D a-strmap.ads 20140611123156 e8bb714a ada.strings.maps%s
D a-strsup.ads 20120309145048 a27dcb33 ada.strings.superbounded%s
D a-tags.ads 20151016130316 01f5e3ef ada.tags%s
D a-textio.ads 20140717063745 386df5d4 ada.text_io%s
D a-unccon.ads 20170106103348 31484697 ada.unchecked_conversion%s
D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D ahven.ads 20160711072733 4ddcfc31 ahven%s
D ahven-astrings.ads 20160711072733 1b9f3e2c ahven.astrings%s
D ahven-framework.ads 20160711072733 d816ccdb ahven.framework%s
D ahven-listeners.ads 20160711072733 abe83d31 ahven.listeners%s
D ahven-listeners-basic.ads 20160711072733 a8fc582c ahven.listeners.basic%s
D ahven-long_astrings.ads 20160711072733 26230525 ahven.long_astrings%s
D ahven-name_list.ads 20160711072733 88b390f5 ahven.name_list%s
D ahven-parameters.ads 20160711072733 619df674 ahven.parameters%s
D ahven-results.ads 20160711072733 c5fcc2f0 ahven.results%s
D ahven-runner.ads 20160711072733 3628f74f ahven.runner%s
D ahven-runner.adb 20160711072733 4e725567 ahven.runner%b
D ahven-slist.ads 20160711072733 664b6dad ahven.slist%s
D ahven-temporary_output.ads 20160711072733 cb961fc2 ahven.temporary_output%s
D interfac.ads 20160502101001 5ab55268 interfaces%s
D i-cstrea.ads 20140801100435 e53d8b8e interfaces.c_streams%s
D system.ads 20170510173650 4635ec04 system%s
D s-crtl.ads 20141120112812 0ebbdb71 system.crtl%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-ficobl.ads 20140718105747 078245e4 system.file_control_block%s
D s-finmas.ads 20151016130316 7811a767 system.finalization_masters%s
D s-finroo.ads 20120426095924 4ff27390 system.finalization_root%s
D s-memory.ads 20160622104833 597d6634 system.memory%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
D s-pooglo.ads 20151118103153 ede33ef8 system.pool_global%s
D s-secsta.ads 20170112134946 9751b57e system.secondary_stack%s
D s-soflin.ads 20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads 20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
D s-stalib.adb 20140225151139 f2fe2716 system.standard_library%b
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
D s-stopoo.ads 20131010103753 b16154c2 system.storage_pools%s
D s-stratt.ads 20131014135145 aedef97e system.stream_attributes%s
D s-string.ads 20140225151139 8fe54fb7 system.strings%s
D s-ststop.ads 20140225151139 e6693757 system.strings.stream_ops%s
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads 20160502101423 34867c83 system.unsigned_types%s
D s-wchcon.ads 20140718092328 1b7d22d2 system.wch_con%s
X 1 ada.ads
16K9*Ada 20e8 28|17r6 55r10 55r44
X 5 a-comlin.ads
38K13*Command_Line 139e21 28|17w10 55r14 55r48
65I9*Exit_Status<integer>
68i4*Failure{65I9} 28|55r61
70U14*Set_Exit_Status 28|55s27
X 18 ahven.ads
18K9*Ahven 46e10 27|17r6 18r6 19r6 21r9 32r5 28|19r6 20r6 21r6 23r14 24r8
. 28r11 61r5
X 20 ahven-framework.ads
28K15*Framework 369e20 27|17w12 27r43 28|26r43 45r10 49r10
32O12*Test_Duration{duration}
41H9*Test<7|43R9> 41e74 27|27r53 28|26r53
121U14*Execute 28|49s20
131U14*Execute 28|45s20
131c23 T<41R9> 28|46r13
132r23 Test_Names{29|22R9[24|22]} 28|46r25
133c23 Listener<21|40R9> 28|47r13
134o23 Timeout{32O12} 28|47r35
X 21 ahven-listeners.ads
21K15*Listeners 75e20 28|20w12 21r12 28r17 30r18
X 22 ahven-listeners-basic.ads
26K25*Basic 82e26 28|21w22 28r27 30r28
30R9*Basic_Listener<21|40R9> 38e14 28|30r34
31r7*Main_Result{26|102R9} 28|52m26 53r33 54r35
64U14*Set_Output_Capture 28|35s7
X 24 ahven-name_list.ads
22K15*Name_List[29|21] 28|19w12 32r18
X 25 ahven-parameters.ads
26K15*Parameters 87e21 27|19w12 25r22 28|31r18 34r7 34r36 35r37 43r10 44r19
. 47r46 49r46 58r12 59r10
28X4*Invalid_Parameter 28|58r23
30R9*Parameter_Info 86e14 27|25r33 28|31r29
32n28*NORMAL_PARAMETERS{32E9} 28|34r47
34U14*Parse_Parameters 28|34s18
40U14*Usage 28|59s21
43V13*Capture{boolean} 28|35s48
52V13*Single_Test{boolean} 28|43s21
58V13*Test_Names{29|22R9[24|22]} 28|44s30
65V13*Timeout{20|32O12} 28|47s57 49s57
X 26 ahven-results.ads
29K15*Results 271e18 27|18w12 24r22 28|24r14
102R9*Result_Collection 270e14 27|24r30
152V13*Error_Count{natural} 28|53s11
156V13*Failure_Count{natural} 28|54s11
X 27 ahven-runner.ads
21K15*Runner 18|18k9 27|32l11 32e17 28|23b20 61l11 61t17
23P9*Report_Proc 24>7 25>7 28r43 28|27r43
24r7 Test_Results{26|102R9}
25r7 Args{25|30R9}
27U14*Run_Suite 27=25 28>25 28|26b14 60l8 60t17
27c25 Suite<20|41R9> 28|26b25 46m18 49m29
28p25 Reporter{23P9} 28|27b25 52r7
X 28 ahven-runner.adb
30r7 Listener{22|30R9} 35m27 35r27 47m25 47r25 49m36 49r36 52r17 53r24 54r26
31r7 Params{25|30R9} 34m66 35r57 43r34 44r42 47r66 49r66 52r39
32r7 Tests{29|22R9[24|22]} 44m10 46r39
X 29 ahven-slist.ads
22R9*List<7|43R9> 28|32r28[24|22]
X 33 system.ads
67M9*Address
X 39 s-memory.ads
53V13*Alloc{33|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{33|67M9} 105i<c,__gnat_realloc>22
X 46 s-stalib.adb
93U14 Break_Start 94i<c,__gnat_break_start>22
|