Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 1 | """ |
Jeremy Ronquillo | 23fb216 | 2017-09-15 14:59:57 -0700 | [diff] [blame] | 2 | Copyright 2015 Open Networking Foundation ( ONF ) |
Jeremy Ronquillo | b27ce4c | 2017-07-17 12:41:28 -0700 | [diff] [blame] | 3 | |
| 4 | Please refer questions to either the onos test mailing list at <onos-test@onosproject.org>, |
| 5 | the System Testing Plans and Results wiki page at <https://wiki.onosproject.org/x/voMg>, |
| 6 | or the System Testing Guide page at <https://wiki.onosproject.org/x/WYQg> |
| 7 | |
| 8 | TestON is free software: you can redistribute it and/or modify |
| 9 | it under the terms of the GNU General Public License as published by |
| 10 | the Free Software Foundation, either version 2 of the License, or |
Jeremy Ronquillo | 23fb216 | 2017-09-15 14:59:57 -0700 | [diff] [blame] | 11 | ( at your option ) any later version. |
Jeremy Ronquillo | b27ce4c | 2017-07-17 12:41:28 -0700 | [diff] [blame] | 12 | |
| 13 | TestON is distributed in the hope that it will be useful, |
| 14 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 15 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 16 | GNU General Public License for more details. |
| 17 | |
| 18 | You should have received a copy of the GNU General Public License |
| 19 | along with TestON. If not, see <http://www.gnu.org/licenses/>. |
| 20 | """ |
Jeremy Ronquillo | b27ce4c | 2017-07-17 12:41:28 -0700 | [diff] [blame] | 21 | """ |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 22 | Description: This test is to determine if ONOS can handle |
| 23 | a minority of it's nodes restarting |
| 24 | |
| 25 | List of test cases: |
| 26 | CASE1: Compile ONOS and push it to the test machines |
| 27 | CASE2: Assign devices to controllers |
| 28 | CASE21: Assign mastership to controllers |
| 29 | CASE3: Assign intents |
| 30 | CASE4: Ping across added host intents |
| 31 | CASE5: Reading state of ONOS |
Jon Hall | b3ed8ed | 2015-10-28 16:43:55 -0700 | [diff] [blame] | 32 | CASE61: The Failure inducing case. |
| 33 | CASE62: The Failure recovery case. |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 34 | CASE7: Check state after control plane failure |
| 35 | CASE8: Compare topo |
| 36 | CASE9: Link s3-s28 down |
| 37 | CASE10: Link s3-s28 up |
| 38 | CASE11: Switch down |
| 39 | CASE12: Switch up |
| 40 | CASE13: Clean up |
| 41 | CASE14: start election app on all onos nodes |
| 42 | CASE15: Check that Leadership Election is still functional |
| 43 | CASE16: Install Distributed Primitives app |
| 44 | CASE17: Check for basic functionality with distributed primitives |
| 45 | """ |
Jon Hall | b3ed8ed | 2015-10-28 16:43:55 -0700 | [diff] [blame] | 46 | class HAkillNodes: |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 47 | |
| 48 | def __init__( self ): |
| 49 | self.default = '' |
| 50 | |
| 51 | def CASE1( self, main ): |
| 52 | """ |
| 53 | CASE1 is to compile ONOS and push it to the test machines |
| 54 | |
| 55 | Startup sequence: |
| 56 | cell <name> |
| 57 | onos-verify-cell |
| 58 | NOTE: temporary - onos-remove-raft-logs |
| 59 | onos-uninstall |
| 60 | start mininet |
| 61 | git pull |
| 62 | mvn clean install |
| 63 | onos-package |
| 64 | onos-install -f |
| 65 | onos-wait-for-start |
| 66 | start cli sessions |
| 67 | start tcpdump |
| 68 | """ |
Jon Hall | 6e70975 | 2016-02-01 13:38:46 -0800 | [diff] [blame] | 69 | main.log.info( "ONOS HA test: Restart a minority of ONOS nodes - " + |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 70 | "initialization" ) |
Jon Hall | a440e87 | 2016-03-31 15:15:50 -0700 | [diff] [blame] | 71 | # These are for csv plotting in jenkins |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 72 | main.HAlabels = [] |
| 73 | main.HAdata = [] |
| 74 | try: |
| 75 | from tests.dependencies.ONOSSetup import ONOSSetup |
| 76 | main.testSetUp = ONOSSetup() |
| 77 | except ImportError: |
| 78 | main.log.error( "ONOSSetup not found. exiting the test" ) |
Devin Lim | 4407596 | 2017-08-11 10:56:37 -0700 | [diff] [blame] | 79 | main.cleanAndExit() |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 80 | main.testSetUp.envSetupDescription() |
Jon Hall | e1a3b75 | 2015-07-22 13:02:46 -0700 | [diff] [blame] | 81 | try: |
Jon Hall | 53c5e66 | 2016-04-13 16:06:56 -0700 | [diff] [blame] | 82 | from tests.HA.dependencies.HA import HA |
Jon Hall | 41d39f1 | 2016-04-11 22:54:35 -0700 | [diff] [blame] | 83 | main.HA = HA() |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 84 | cellName = main.params[ 'ENV' ][ 'cellName' ] |
| 85 | main.apps = main.params[ 'ENV' ][ 'appString' ] |
Devin Lim | 142b534 | 2017-07-20 15:22:39 -0700 | [diff] [blame] | 86 | stepResult = main.testSetUp.envSetup() |
Jon Hall | e1a3b75 | 2015-07-22 13:02:46 -0700 | [diff] [blame] | 87 | except Exception as e: |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 88 | main.testSetUp.envSetupException( e ) |
| 89 | main.testSetUp.evnSetupConclusion( stepResult ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 90 | |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 91 | main.testSetUp.ONOSSetUp( main.Mininet1, main.Cluster, cellName=cellName, removeLog=True, |
Jon Hall | 4f360bc | 2017-09-07 10:19:52 -0700 | [diff] [blame] | 92 | extraApply=[ main.HA.startingMininet, |
| 93 | main.HA.customizeOnosGenPartitions, |
| 94 | main.HA.copyBackupConfig, |
| 95 | main.ONOSbench.preventAutoRespawn ], |
Jeremy Ronquillo | 23fb216 | 2017-09-15 14:59:57 -0700 | [diff] [blame] | 96 | extraClean=main.HA.cleanUpGenPartition ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 97 | |
Jon Hall | 4f360bc | 2017-09-07 10:19:52 -0700 | [diff] [blame] | 98 | main.HA.initialSetUp( serviceClean=True ) |
Jon Hall | 9d2dcad | 2016-04-08 10:15:20 -0700 | [diff] [blame] | 99 | |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 100 | def CASE2( self, main ): |
| 101 | """ |
| 102 | Assign devices to controllers |
| 103 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 104 | main.HA.assignDevices( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 105 | |
| 106 | def CASE21( self, main ): |
| 107 | """ |
| 108 | Assign mastership to controllers |
| 109 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 110 | main.HA.assignMastership( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 111 | |
| 112 | def CASE3( self, main ): |
| 113 | """ |
| 114 | Assign intents |
| 115 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 116 | main.HA.assignIntents( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 117 | |
| 118 | def CASE4( self, main ): |
| 119 | """ |
| 120 | Ping across added host intents |
| 121 | """ |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 122 | main.HA.pingAcrossHostIntent( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 123 | |
| 124 | def CASE5( self, main ): |
| 125 | """ |
| 126 | Reading state of ONOS |
| 127 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 128 | main.HA.readingState( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 129 | |
Jon Hall | b3ed8ed | 2015-10-28 16:43:55 -0700 | [diff] [blame] | 130 | def CASE61( self, main ): |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 131 | """ |
| 132 | The Failure case. |
| 133 | """ |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 134 | assert main, "main not defined" |
| 135 | assert utilities.assert_equals, "utilities.assert_equals not defined" |
Jon Hall | b3ed8ed | 2015-10-28 16:43:55 -0700 | [diff] [blame] | 136 | main.case( "Kill minority of ONOS nodes" ) |
Jon Hall | 96091e6 | 2015-09-21 17:34:17 -0700 | [diff] [blame] | 137 | |
| 138 | main.step( "Checking ONOS Logs for errors" ) |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 139 | for ctrl in main.Cluster.active(): |
| 140 | main.log.debug( "Checking logs for errors on " + ctrl.name + ":" ) |
| 141 | main.log.warn( ctrl.checkLogs( ctrl.ipAddress ) ) |
Jon Hall | 96091e6 | 2015-09-21 17:34:17 -0700 | [diff] [blame] | 142 | |
Devin Lim | 142b534 | 2017-07-20 15:22:39 -0700 | [diff] [blame] | 143 | n = len( main.Cluster.runningNodes ) # Number of nodes |
Jon Hall | 3b489db | 2015-10-05 14:38:37 -0700 | [diff] [blame] | 144 | p = ( ( n + 1 ) / 2 ) + 1 # Number of partitions |
Devin Lim | 142b534 | 2017-07-20 15:22:39 -0700 | [diff] [blame] | 145 | main.kill = [ main.Cluster.runningNodes[ 0 ] ] # ONOS node to kill, listed by index in main.nodes |
Jon Hall | 3b489db | 2015-10-05 14:38:37 -0700 | [diff] [blame] | 146 | if n > 3: |
Devin Lim | 142b534 | 2017-07-20 15:22:39 -0700 | [diff] [blame] | 147 | main.kill.append( main.Cluster.runningNodes[ p - 1 ] ) |
Jon Hall | 3b489db | 2015-10-05 14:38:37 -0700 | [diff] [blame] | 148 | # NOTE: This only works for cluster sizes of 3,5, or 7. |
| 149 | |
Jeremy Ronquillo | 23fb216 | 2017-09-15 14:59:57 -0700 | [diff] [blame] | 150 | # NOTE: This is to fix an issue with wiki formating |
Jon Hall | 4f360bc | 2017-09-07 10:19:52 -0700 | [diff] [blame] | 151 | nodeNames = [ node.name for node in main.kill ] |
| 152 | main.step( "Killing nodes: " + str( nodeNames ) ) |
Jon Hall | 3b489db | 2015-10-05 14:38:37 -0700 | [diff] [blame] | 153 | killResults = main.TRUE |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 154 | for ctrl in main.kill: |
Jon Hall | 3b489db | 2015-10-05 14:38:37 -0700 | [diff] [blame] | 155 | killResults = killResults and\ |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 156 | ctrl.onosKill( ctrl.ipAddress ) |
| 157 | ctrl.active = False |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 158 | utilities.assert_equals( expect=main.TRUE, actual=killResults, |
Jon Hall | b3ed8ed | 2015-10-28 16:43:55 -0700 | [diff] [blame] | 159 | onpass="ONOS nodes killed successfully", |
| 160 | onfail="ONOS nodes NOT successfully killed" ) |
| 161 | |
Jon Hall | d2871c2 | 2016-07-26 11:01:14 -0700 | [diff] [blame] | 162 | main.step( "Checking ONOS nodes" ) |
Devin Lim | 3ebd5e7 | 2017-11-14 10:38:00 -0800 | [diff] [blame] | 163 | nodeResults = utilities.retry( main.Cluster.nodesCheck, |
Jon Hall | d2871c2 | 2016-07-26 11:01:14 -0700 | [diff] [blame] | 164 | False, |
Jon Hall | d2871c2 | 2016-07-26 11:01:14 -0700 | [diff] [blame] | 165 | sleep=15, |
| 166 | attempts=5 ) |
| 167 | |
| 168 | utilities.assert_equals( expect=True, actual=nodeResults, |
| 169 | onpass="Nodes check successful", |
| 170 | onfail="Nodes check NOT successful" ) |
| 171 | |
| 172 | if not nodeResults: |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 173 | for ctrl in main.Cluster.active(): |
Jon Hall | d2871c2 | 2016-07-26 11:01:14 -0700 | [diff] [blame] | 174 | main.log.debug( "{} components not ACTIVE: \n{}".format( |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 175 | ctrl.name, |
| 176 | ctrl.CLI.sendline( "scr:list | grep -v ACTIVE" ) ) ) |
Jon Hall | d2871c2 | 2016-07-26 11:01:14 -0700 | [diff] [blame] | 177 | main.log.error( "Failed to start ONOS, stopping test" ) |
Devin Lim | 4407596 | 2017-08-11 10:56:37 -0700 | [diff] [blame] | 178 | main.cleanAndExit() |
Jon Hall | d2871c2 | 2016-07-26 11:01:14 -0700 | [diff] [blame] | 179 | |
Jon Hall | b3ed8ed | 2015-10-28 16:43:55 -0700 | [diff] [blame] | 180 | def CASE62( self, main ): |
| 181 | """ |
| 182 | The bring up stopped nodes |
| 183 | """ |
Jon Hall | 5d5876e | 2017-11-30 09:33:16 -0800 | [diff] [blame] | 184 | main.HA.bringUpStoppedNodes( main ) |
Jon Hall | a440e87 | 2016-03-31 15:15:50 -0700 | [diff] [blame] | 185 | |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 186 | def CASE7( self, main ): |
| 187 | """ |
| 188 | Check state after ONOS failure |
| 189 | """ |
Jon Hall | b3ed8ed | 2015-10-28 16:43:55 -0700 | [diff] [blame] | 190 | try: |
| 191 | main.kill |
| 192 | except AttributeError: |
| 193 | main.kill = [] |
| 194 | |
Devin Lim | 142b534 | 2017-07-20 15:22:39 -0700 | [diff] [blame] | 195 | main.HA.checkStateAfterEvent( main, afterWhich=0 ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 196 | main.step( "Leadership Election is still functional" ) |
| 197 | # Test of LeadershipElection |
| 198 | leaderList = [] |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 199 | |
Jon Hall | 3b489db | 2015-10-05 14:38:37 -0700 | [diff] [blame] | 200 | restarted = [] |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 201 | for ctrl in main.kill: |
| 202 | restarted.append( ctrl.ipAddress ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 203 | leaderResult = main.TRUE |
Jon Hall | 3b489db | 2015-10-05 14:38:37 -0700 | [diff] [blame] | 204 | |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 205 | for ctrl in main.Cluster.active(): |
| 206 | leaderN = ctrl.electionTestLeader() |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 207 | leaderList.append( leaderN ) |
| 208 | if leaderN == main.FALSE: |
| 209 | # error in response |
| 210 | main.log.error( "Something is wrong with " + |
| 211 | "electionTestLeader function, check the" + |
| 212 | " error logs" ) |
| 213 | leaderResult = main.FALSE |
| 214 | elif leaderN is None: |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 215 | main.log.error( ctrl.name + |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 216 | " shows no leader for the election-app was" + |
| 217 | " elected after the old one died" ) |
| 218 | leaderResult = main.FALSE |
| 219 | elif leaderN in restarted: |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 220 | main.log.error( ctrl.name + " shows " + str( leaderN ) + |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 221 | " as leader for the election-app, but it " + |
| 222 | "was restarted" ) |
| 223 | leaderResult = main.FALSE |
| 224 | if len( set( leaderList ) ) != 1: |
| 225 | leaderResult = main.FALSE |
| 226 | main.log.error( |
| 227 | "Inconsistent view of leader for the election test app" ) |
| 228 | # TODO: print the list |
| 229 | utilities.assert_equals( |
| 230 | expect=main.TRUE, |
| 231 | actual=leaderResult, |
| 232 | onpass="Leadership election passed", |
| 233 | onfail="Something went wrong with Leadership election" ) |
| 234 | |
| 235 | def CASE8( self, main ): |
| 236 | """ |
| 237 | Compare topo |
| 238 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 239 | main.HA.compareTopo( main ) |
Jon Hall | d2871c2 | 2016-07-26 11:01:14 -0700 | [diff] [blame] | 240 | |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 241 | def CASE9( self, main ): |
| 242 | """ |
| 243 | Link s3-s28 down |
| 244 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 245 | main.HA.linkDown( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 246 | |
| 247 | def CASE10( self, main ): |
| 248 | """ |
| 249 | Link s3-s28 up |
| 250 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 251 | main.HA.linkUp( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 252 | |
| 253 | def CASE11( self, main ): |
| 254 | """ |
| 255 | Switch Down |
| 256 | """ |
| 257 | # NOTE: You should probably run a topology check after this |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 258 | main.HA.switchDown( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 259 | |
| 260 | def CASE12( self, main ): |
| 261 | """ |
| 262 | Switch Up |
| 263 | """ |
| 264 | # NOTE: You should probably run a topology check after this |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 265 | main.HA.switchUp( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 266 | |
| 267 | def CASE13( self, main ): |
| 268 | """ |
| 269 | Clean up |
| 270 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 271 | main.HAlabels.append( "Restart" ) |
| 272 | main.HAdata.append( str( main.restartTime ) ) |
| 273 | main.HA.cleanUp( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 274 | |
| 275 | def CASE14( self, main ): |
| 276 | """ |
| 277 | start election app on all onos nodes |
| 278 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 279 | main.HA.startElectionApp( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 280 | |
| 281 | def CASE15( self, main ): |
| 282 | """ |
| 283 | Check that Leadership Election is still functional |
acsmars | 71adceb | 2015-08-31 15:09:26 -0700 | [diff] [blame] | 284 | 15.1 Run election on each node |
| 285 | 15.2 Check that each node has the same leaders and candidates |
| 286 | 15.3 Find current leader and withdraw |
| 287 | 15.4 Check that a new node was elected leader |
| 288 | 15.5 Check that that new leader was the candidate of old leader |
| 289 | 15.6 Run for election on old leader |
| 290 | 15.7 Check that oldLeader is a candidate, and leader if only 1 node |
| 291 | 15.8 Make sure that the old leader was added to the candidate list |
| 292 | |
| 293 | old and new variable prefixes refer to data from before vs after |
| 294 | withdrawl and later before withdrawl vs after re-election |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 295 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 296 | main.HA.isElectionFunctional( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 297 | |
| 298 | def CASE16( self, main ): |
| 299 | """ |
| 300 | Install Distributed Primitives app |
| 301 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 302 | main.HA.installDistributedPrimitiveApp( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 303 | |
| 304 | def CASE17( self, main ): |
| 305 | """ |
| 306 | Check for basic functionality with distributed primitives |
| 307 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 308 | main.HA.checkDistPrimitivesFunc( main ) |