libahven4-dev 2.4+repack-1 / usr / lib / ada / adalib / ahven / ahven-runner.ali

V "GNAT Lib v4.9"
A -O2
A -fPIC
A -fstack-protector
A -g
A -gnatf
A -gnatVa
A -gnato
A -gnatwe
A -gnatwa
A -gnatwl
A -gnatE
A -gnatwF
A -gnatyd
A -gnaty3
A -gnatyi
A -gnatyb
A -gnatym
A -gnatyh
A -gnatye
A -gnatyx
A -gnat95
A -g
A -gnatA
P SS ZX

RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_DISPATCH
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_FIXED_POINT
RV NO_NESTED_FINALIZATION
RV NO_SECONDARY_STACK
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U ahven.runner%b	ahven-runner.adb	c4e76b66 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 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	38184d38 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		20070406091342 3ffc8e18
D a-calend.ads		20120515092648 d86d6c8c
D a-charac.ads		20070912115821 2d3ec45b
D a-chlat1.ads		20140225151544 66457d31
D a-comlin.ads		20140225151544 ea62afbc
D a-except.ads		20140129161953 f86a4103
D a-finali.ads		20111121113555 52ecdc1b
D a-ioexce.ads		20140225151544 e4a01f64
D a-stream.ads		20140122164720 1a984740
D a-string.ads		20070406091342 90ac6797
D a-strbou.ads		20101008130255 9806fe84
D a-strmap.ads		20090409150019 9cb836fb
D a-strsup.ads		20120309145048 a27dcb33
D a-tags.ads		20111212115430 6c0509d0
D a-textio.ads		20140129155348 386df5d4
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D ahven.ads		20140804204240 4ddcfc31
D ahven-astrings.ads	20140804204240 1b9f3e2c
D ahven-framework.ads	20140804204240 7f496604
D ahven-listeners.ads	20140804204240 abe83d31
D ahven-listeners-basic.ads  20140804204240 a8fc582c
D ahven-long_astrings.ads  20140804204240 26230525
D ahven-parameters.ads	20140804204240 f959e2b2
D ahven-results.ads	20140804204240 c5fcc2f0
D ahven-runner.ads	20140804204240 3628f74f
D ahven-runner.adb	20140806231202 1bb95688
D ahven-slist.ads	20140804204240 664b6dad
D ahven-temporary_output.ads  20140804204240 cb961fc2
D interfac.ads		20140225151838 69adb1b9
D i-cstrea.ads		20130412125801 8128536b
D system.ads		20140730121111 90249111
D s-crtl.ads		20140225151544 840e6817
D s-exctab.ads		20140225151139 54135002
D s-ficobl.ads		20120709130952 55a71d43
D s-finmas.ads		20140225151139 814daec4
D s-finroo.ads		20120426095924 4ff27390
D s-parame.ads		20140225151139 ab8cb46a
D s-pooglo.ads		20110804083314 542f33d0
D s-secsta.ads		20140225151139 86a2856d
D s-soflin.ads		20140225151139 aa763b52
D s-stache.ads		20140225151139 a37c21ec
D s-stalib.ads		20140225151139 a891183f
D s-stoele.ads		20140225151139 2dc34a04
D s-stoele.adb		20140225151139 ed88f8fb
D s-stopoo.ads		20131010103753 b16154c2
D s-stratt.ads		20131014135145 aedef97e
D s-string.ads		20140225151139 8fe54fb7
D s-ststop.ads		20140225151139 e6693757
D s-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
D s-wchcon.ads		20140225151139 1b7d22d2
X 1 ada.ads
16K9*Ada 19e8 27|17r6 53r10 53r44
X 5 a-comlin.ads
38K13*Command_Line 139e21 27|17w10 53r14 53r48
65I9*Exit_Status<integer>
68i4*Failure{65I9} 27|53r61
70U14*Set_Exit_Status 27|53s27
X 18 ahven.ads
18K9*Ahven 46e10 26|17r6 18r6 19r6 21r9 32r5 27|19r6 20r6 22r14 23r8 27r11
. 59r5
X 20 ahven-framework.ads
27K15*Framework 365e20 26|17w12 27r43 27|25r43 42r10 46r10
31O12*Test_Duration{duration}
40H9*Test<7|48R9> 40e74 26|27r53 27|25r53
117U14*Execute 27|46s20
127U14*Execute 27|42s20
127c23 T<40R9> 27|43r13
128s23 Test_Name{string} 27|43r25
129c23 Listener<21|40R9> 27|44r13
130o23 Timeout{31O12} 27|44r35
X 21 ahven-listeners.ads
21K15*Listeners 75e20 27|19w12 20r12 27r17 29r18
X 22 ahven-listeners-basic.ads
26K25*Basic 82e26 27|20w22 27r27 29r28
30R9*Basic_Listener<21|40R9> 38e14 27|29r34
31r7*Main_Result{25|102R9} 27|49m26 50r33 51r35
64U14*Set_Output_Capture 27|33s7
X 24 ahven-parameters.ads
25K15*Parameters 77e21 26|19w12 25r22 27|30r18 32r7 32r36 33r37 41r10 43r38
. 44r46 46r46 56r12 57r10
27X4*Invalid_Parameter 27|56r23
29R9*Parameter_Info 76e14 26|25r33 27|30r29
31n28*NORMAL_PARAMETERS{31E9} 27|32r47
33U14*Parse_Parameters 27|32s18
39U14*Usage 27|57s21
42V13*Capture{boolean} 27|33s48
51V13*Single_Test{boolean} 27|41s21
54V13*Test_Name{string} 27|43s49
60V13*Timeout{20|31O12} 27|44s57 46s57
X 25 ahven-results.ads
29K15*Results 271e18 26|18w12 24r22 27|23r14
102R9*Result_Collection 26|24r30
152V13*Error_Count{natural} 27|50s11
156V13*Failure_Count{natural} 27|51s11
X 26 ahven-runner.ads
21K15*Runner 18|18k9 26|32l11 32e17 27|22b20 59l11 59t17
23P9*Report_Proc 24>7 25>7 28r43 27|26r43
24r7 Test_Results{25|102R9}
25r7 Args{24|29R9}
27U14*Run_Suite 27=25 28>25 27|25b14 58l8 58t17
27c25 Suite<20|40R9> 27|25b25 43m18 46m29
28p25 Reporter{23P9} 27|26b25 49r7
X 27 ahven-runner.adb
29r7 Listener{22|30R9} 33m27 33r27 44m25 44r25 46m36 46r36 49r17 50r24 51r26
30r7 Params{24|29R9} 32m66 33r57 41r34 43r60 44r66 46r66 49r39