1#!/usr/local/bin/bash
2#==================================================================================================
3#
4#  Run script for the dvecdvecouter module of the Blaze test suite
5#
6#  Copyright (C) 2012-2020 Klaus Iglberger - All Rights Reserved
7#
8#  This file is part of the Blaze library. You can redistribute it and/or modify it under
9#  the terms of the New (Revised) BSD License. Redistribution and use in source and binary
10#  forms, with or without modification, are permitted provided that the following conditions
11#  are met:
12#
13#  1. Redistributions of source code must retain the above copyright notice, this list of
14#     conditions and the following disclaimer.
15#  2. Redistributions in binary form must reproduce the above copyright notice, this list
16#     of conditions and the following disclaimer in the documentation and/or other materials
17#     provided with the distribution.
18#  3. Neither the names of the Blaze development group nor the names of its contributors
19#     may be used to endorse or promote products derived from this software without specific
20#     prior written permission.
21#
22#  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY
23#  EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
24#  OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT
25#  SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
26#  INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
27#  TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
28#  BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
29#  CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
30#  ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
31#  DAMAGE.
32#
33#==================================================================================================
34
35
36PATH_DVECDVECOUTER=$( dirname "${BASH_SOURCE[0]}" )
37
38echo " Running dense vector/dense vector outer product tests...";
39
40EXE=$PATH_DVECDVECOUTER/V2aV2a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
41EXE=$PATH_DVECDVECOUTER/V2aV2b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
42EXE=$PATH_DVECDVECOUTER/V2aV3a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
43EXE=$PATH_DVECDVECOUTER/V2aV3b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
44EXE=$PATH_DVECDVECOUTER/V2aV4a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
45EXE=$PATH_DVECDVECOUTER/V2aV4b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
46EXE=$PATH_DVECDVECOUTER/V2aV5a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
47EXE=$PATH_DVECDVECOUTER/V2aV5b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
48EXE=$PATH_DVECDVECOUTER/V2aV6a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
49EXE=$PATH_DVECDVECOUTER/V2aV6b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
50EXE=$PATH_DVECDVECOUTER/V2aVDa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
51EXE=$PATH_DVECDVECOUTER/V2aVDb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
52EXE=$PATH_DVECDVECOUTER/V2bV2a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
53EXE=$PATH_DVECDVECOUTER/V2bV2b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
54EXE=$PATH_DVECDVECOUTER/V2bV3a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
55EXE=$PATH_DVECDVECOUTER/V2bV3b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
56EXE=$PATH_DVECDVECOUTER/V2bV4a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
57EXE=$PATH_DVECDVECOUTER/V2bV4b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
58EXE=$PATH_DVECDVECOUTER/V2bV5a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
59EXE=$PATH_DVECDVECOUTER/V2bV5b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
60EXE=$PATH_DVECDVECOUTER/V2bV6a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
61EXE=$PATH_DVECDVECOUTER/V2bV6b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
62EXE=$PATH_DVECDVECOUTER/V2bVDa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
63EXE=$PATH_DVECDVECOUTER/V2bVDb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
64
65EXE=$PATH_DVECDVECOUTER/V3aV2a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
66EXE=$PATH_DVECDVECOUTER/V3aV2b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
67EXE=$PATH_DVECDVECOUTER/V3aV3a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
68EXE=$PATH_DVECDVECOUTER/V3aV3b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
69EXE=$PATH_DVECDVECOUTER/V3aV4a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
70EXE=$PATH_DVECDVECOUTER/V3aV4b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
71EXE=$PATH_DVECDVECOUTER/V3aV5a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
72EXE=$PATH_DVECDVECOUTER/V3aV5b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
73EXE=$PATH_DVECDVECOUTER/V3aV6a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
74EXE=$PATH_DVECDVECOUTER/V3aV6b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
75EXE=$PATH_DVECDVECOUTER/V3aVDa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
76EXE=$PATH_DVECDVECOUTER/V3aVDb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
77EXE=$PATH_DVECDVECOUTER/V3bV2a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
78EXE=$PATH_DVECDVECOUTER/V3bV2b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
79EXE=$PATH_DVECDVECOUTER/V3bV3a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
80EXE=$PATH_DVECDVECOUTER/V3bV3b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
81EXE=$PATH_DVECDVECOUTER/V3bV4a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
82EXE=$PATH_DVECDVECOUTER/V3bV4b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
83EXE=$PATH_DVECDVECOUTER/V3bV5a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
84EXE=$PATH_DVECDVECOUTER/V3bV5b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
85EXE=$PATH_DVECDVECOUTER/V3bV6a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
86EXE=$PATH_DVECDVECOUTER/V3bV6b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
87EXE=$PATH_DVECDVECOUTER/V3bVDa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
88EXE=$PATH_DVECDVECOUTER/V3bVDb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
89
90EXE=$PATH_DVECDVECOUTER/V4aV2a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
91EXE=$PATH_DVECDVECOUTER/V4aV2b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
92EXE=$PATH_DVECDVECOUTER/V4aV3a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
93EXE=$PATH_DVECDVECOUTER/V4aV3b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
94EXE=$PATH_DVECDVECOUTER/V4aV4a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
95EXE=$PATH_DVECDVECOUTER/V4aV4b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
96EXE=$PATH_DVECDVECOUTER/V4aV5a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
97EXE=$PATH_DVECDVECOUTER/V4aV5b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
98EXE=$PATH_DVECDVECOUTER/V4aV6a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
99EXE=$PATH_DVECDVECOUTER/V4aV6b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
100EXE=$PATH_DVECDVECOUTER/V4aVDa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
101EXE=$PATH_DVECDVECOUTER/V4aVDb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
102EXE=$PATH_DVECDVECOUTER/V4bV2a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
103EXE=$PATH_DVECDVECOUTER/V4bV2b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
104EXE=$PATH_DVECDVECOUTER/V4bV3a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
105EXE=$PATH_DVECDVECOUTER/V4bV3b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
106EXE=$PATH_DVECDVECOUTER/V4bV4a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
107EXE=$PATH_DVECDVECOUTER/V4bV4b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
108EXE=$PATH_DVECDVECOUTER/V4bV5a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
109EXE=$PATH_DVECDVECOUTER/V4bV5b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
110EXE=$PATH_DVECDVECOUTER/V4bV6a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
111EXE=$PATH_DVECDVECOUTER/V4bV6b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
112EXE=$PATH_DVECDVECOUTER/V4bVDa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
113EXE=$PATH_DVECDVECOUTER/V4bVDb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
114
115EXE=$PATH_DVECDVECOUTER/V5aV2a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
116EXE=$PATH_DVECDVECOUTER/V5aV2b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
117EXE=$PATH_DVECDVECOUTER/V5aV3a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
118EXE=$PATH_DVECDVECOUTER/V5aV3b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
119EXE=$PATH_DVECDVECOUTER/V5aV4a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
120EXE=$PATH_DVECDVECOUTER/V5aV4b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
121EXE=$PATH_DVECDVECOUTER/V5aV5a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
122EXE=$PATH_DVECDVECOUTER/V5aV5b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
123EXE=$PATH_DVECDVECOUTER/V5aV6a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
124EXE=$PATH_DVECDVECOUTER/V5aV6b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
125EXE=$PATH_DVECDVECOUTER/V5aVDa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
126EXE=$PATH_DVECDVECOUTER/V5aVDb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
127EXE=$PATH_DVECDVECOUTER/V5bV2a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
128EXE=$PATH_DVECDVECOUTER/V5bV2b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
129EXE=$PATH_DVECDVECOUTER/V5bV3a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
130EXE=$PATH_DVECDVECOUTER/V5bV3b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
131EXE=$PATH_DVECDVECOUTER/V5bV4a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
132EXE=$PATH_DVECDVECOUTER/V5bV4b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
133EXE=$PATH_DVECDVECOUTER/V5bV5a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
134EXE=$PATH_DVECDVECOUTER/V5bV5b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
135EXE=$PATH_DVECDVECOUTER/V5bV6a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
136EXE=$PATH_DVECDVECOUTER/V5bV6b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
137EXE=$PATH_DVECDVECOUTER/V5bVDa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
138EXE=$PATH_DVECDVECOUTER/V5bVDb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
139
140EXE=$PATH_DVECDVECOUTER/V6aV2a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
141EXE=$PATH_DVECDVECOUTER/V6aV2b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
142EXE=$PATH_DVECDVECOUTER/V6aV3a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
143EXE=$PATH_DVECDVECOUTER/V6aV3b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
144EXE=$PATH_DVECDVECOUTER/V6aV4a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
145EXE=$PATH_DVECDVECOUTER/V6aV4b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
146EXE=$PATH_DVECDVECOUTER/V6aV5a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
147EXE=$PATH_DVECDVECOUTER/V6aV5b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
148EXE=$PATH_DVECDVECOUTER/V6aV6a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
149EXE=$PATH_DVECDVECOUTER/V6aV6b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
150EXE=$PATH_DVECDVECOUTER/V6aVDa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
151EXE=$PATH_DVECDVECOUTER/V6aVDb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
152EXE=$PATH_DVECDVECOUTER/V6aVHa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
153EXE=$PATH_DVECDVECOUTER/V6aVHb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
154EXE=$PATH_DVECDVECOUTER/V6aVUa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
155EXE=$PATH_DVECDVECOUTER/V6aVUb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
156EXE=$PATH_DVECDVECOUTER/V6bV2a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
157EXE=$PATH_DVECDVECOUTER/V6bV2b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
158EXE=$PATH_DVECDVECOUTER/V6bV3a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
159EXE=$PATH_DVECDVECOUTER/V6bV3b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
160EXE=$PATH_DVECDVECOUTER/V6bV4a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
161EXE=$PATH_DVECDVECOUTER/V6bV4b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
162EXE=$PATH_DVECDVECOUTER/V6bV5a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
163EXE=$PATH_DVECDVECOUTER/V6bV5b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
164EXE=$PATH_DVECDVECOUTER/V6bV6a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
165EXE=$PATH_DVECDVECOUTER/V6bV6b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
166EXE=$PATH_DVECDVECOUTER/V6bVDa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
167EXE=$PATH_DVECDVECOUTER/V6bVDb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
168EXE=$PATH_DVECDVECOUTER/V6bVHa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
169EXE=$PATH_DVECDVECOUTER/V6bVHb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
170EXE=$PATH_DVECDVECOUTER/V6bVUa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
171EXE=$PATH_DVECDVECOUTER/V6bVUb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
172
173EXE=$PATH_DVECDVECOUTER/VDaV2a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
174EXE=$PATH_DVECDVECOUTER/VDaV2b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
175EXE=$PATH_DVECDVECOUTER/VDaV3a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
176EXE=$PATH_DVECDVECOUTER/VDaV3b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
177EXE=$PATH_DVECDVECOUTER/VDaV4a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
178EXE=$PATH_DVECDVECOUTER/VDaV4b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
179EXE=$PATH_DVECDVECOUTER/VDaV5a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
180EXE=$PATH_DVECDVECOUTER/VDaV5b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
181EXE=$PATH_DVECDVECOUTER/VDaV6a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
182EXE=$PATH_DVECDVECOUTER/VDaV6b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
183EXE=$PATH_DVECDVECOUTER/VDaVDa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
184EXE=$PATH_DVECDVECOUTER/VDaVDb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
185EXE=$PATH_DVECDVECOUTER/VDaVHa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
186EXE=$PATH_DVECDVECOUTER/VDaVHb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
187EXE=$PATH_DVECDVECOUTER/VDaVUa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
188EXE=$PATH_DVECDVECOUTER/VDaVUb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
189EXE=$PATH_DVECDVECOUTER/VDbV2a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
190EXE=$PATH_DVECDVECOUTER/VDbV2b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
191EXE=$PATH_DVECDVECOUTER/VDbV3a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
192EXE=$PATH_DVECDVECOUTER/VDbV3b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
193EXE=$PATH_DVECDVECOUTER/VDbV4a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
194EXE=$PATH_DVECDVECOUTER/VDbV4b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
195EXE=$PATH_DVECDVECOUTER/VDbV5a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
196EXE=$PATH_DVECDVECOUTER/VDbV5b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
197EXE=$PATH_DVECDVECOUTER/VDbV6a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
198EXE=$PATH_DVECDVECOUTER/VDbV6b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
199EXE=$PATH_DVECDVECOUTER/VDbVDa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
200EXE=$PATH_DVECDVECOUTER/VDbVDb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
201EXE=$PATH_DVECDVECOUTER/VDbVHa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
202EXE=$PATH_DVECDVECOUTER/VDbVHb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
203EXE=$PATH_DVECDVECOUTER/VDbVUa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
204EXE=$PATH_DVECDVECOUTER/VDbVUb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
205
206EXE=$PATH_DVECDVECOUTER/VHaV6a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
207EXE=$PATH_DVECDVECOUTER/VHaV6b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
208EXE=$PATH_DVECDVECOUTER/VHaVDa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
209EXE=$PATH_DVECDVECOUTER/VHaVDb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
210EXE=$PATH_DVECDVECOUTER/VHaVHa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
211EXE=$PATH_DVECDVECOUTER/VHaVHb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
212EXE=$PATH_DVECDVECOUTER/VHaVUa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
213EXE=$PATH_DVECDVECOUTER/VHaVUb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
214EXE=$PATH_DVECDVECOUTER/VHbV6a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
215EXE=$PATH_DVECDVECOUTER/VHbV6b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
216EXE=$PATH_DVECDVECOUTER/VHbVDa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
217EXE=$PATH_DVECDVECOUTER/VHbVDb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
218EXE=$PATH_DVECDVECOUTER/VHbVHa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
219EXE=$PATH_DVECDVECOUTER/VHbVHb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
220EXE=$PATH_DVECDVECOUTER/VHbVUa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
221EXE=$PATH_DVECDVECOUTER/VHbVUb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
222
223EXE=$PATH_DVECDVECOUTER/VUaV6a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
224EXE=$PATH_DVECDVECOUTER/VUaV6b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
225EXE=$PATH_DVECDVECOUTER/VUaVDa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
226EXE=$PATH_DVECDVECOUTER/VUaVDb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
227EXE=$PATH_DVECDVECOUTER/VUaVHa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
228EXE=$PATH_DVECDVECOUTER/VUaVHb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
229EXE=$PATH_DVECDVECOUTER/VUaVUa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
230EXE=$PATH_DVECDVECOUTER/VUaVUb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
231EXE=$PATH_DVECDVECOUTER/VUbV6a; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
232EXE=$PATH_DVECDVECOUTER/VUbV6b; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
233EXE=$PATH_DVECDVECOUTER/VUbVDa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
234EXE=$PATH_DVECDVECOUTER/VUbVDb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
235EXE=$PATH_DVECDVECOUTER/VUbVHa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
236EXE=$PATH_DVECDVECOUTER/VUbVHb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
237EXE=$PATH_DVECDVECOUTER/VUbVUa; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
238EXE=$PATH_DVECDVECOUTER/VUbVUb; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
239
240EXE=$PATH_DVECDVECOUTER/AliasingTest; if [ -x $EXE ]; then $EXE; if [ $? != 0 ]; then exit 1; fi fi
241