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 ) |
| 90 | main.HA.generateGraph( "HAkillNodes" ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 91 | |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 92 | main.testSetUp.ONOSSetUp( main.Mininet1, main.Cluster, cellName=cellName, removeLog=True, |
Jon Hall | 4f360bc | 2017-09-07 10:19:52 -0700 | [diff] [blame] | 93 | extraApply=[ main.HA.startingMininet, |
| 94 | main.HA.customizeOnosGenPartitions, |
| 95 | main.HA.copyBackupConfig, |
| 96 | main.ONOSbench.preventAutoRespawn ], |
Jeremy Ronquillo | 23fb216 | 2017-09-15 14:59:57 -0700 | [diff] [blame] | 97 | extraClean=main.HA.cleanUpGenPartition ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 98 | |
Jon Hall | 4f360bc | 2017-09-07 10:19:52 -0700 | [diff] [blame] | 99 | main.HA.initialSetUp( serviceClean=True ) |
Jon Hall | 9d2dcad | 2016-04-08 10:15:20 -0700 | [diff] [blame] | 100 | |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 101 | def CASE2( self, main ): |
| 102 | """ |
| 103 | Assign devices to controllers |
| 104 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 105 | main.HA.assignDevices( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 106 | |
| 107 | def CASE21( self, main ): |
| 108 | """ |
| 109 | Assign mastership to controllers |
| 110 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 111 | main.HA.assignMastership( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 112 | |
| 113 | def CASE3( self, main ): |
| 114 | """ |
| 115 | Assign intents |
| 116 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 117 | main.HA.assignIntents( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 118 | |
| 119 | def CASE4( self, main ): |
| 120 | """ |
| 121 | Ping across added host intents |
| 122 | """ |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 123 | main.HA.pingAcrossHostIntent( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 124 | |
| 125 | def CASE5( self, main ): |
| 126 | """ |
| 127 | Reading state of ONOS |
| 128 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 129 | main.HA.readingState( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 130 | |
Jon Hall | b3ed8ed | 2015-10-28 16:43:55 -0700 | [diff] [blame] | 131 | def CASE61( self, main ): |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 132 | """ |
| 133 | The Failure case. |
| 134 | """ |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 135 | assert main, "main not defined" |
| 136 | assert utilities.assert_equals, "utilities.assert_equals not defined" |
Jon Hall | b3ed8ed | 2015-10-28 16:43:55 -0700 | [diff] [blame] | 137 | main.case( "Kill minority of ONOS nodes" ) |
Jon Hall | 96091e6 | 2015-09-21 17:34:17 -0700 | [diff] [blame] | 138 | |
| 139 | main.step( "Checking ONOS Logs for errors" ) |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 140 | for ctrl in main.Cluster.active(): |
| 141 | main.log.debug( "Checking logs for errors on " + ctrl.name + ":" ) |
| 142 | main.log.warn( ctrl.checkLogs( ctrl.ipAddress ) ) |
Jon Hall | 96091e6 | 2015-09-21 17:34:17 -0700 | [diff] [blame] | 143 | |
Devin Lim | 142b534 | 2017-07-20 15:22:39 -0700 | [diff] [blame] | 144 | n = len( main.Cluster.runningNodes ) # Number of nodes |
Jon Hall | 3b489db | 2015-10-05 14:38:37 -0700 | [diff] [blame] | 145 | p = ( ( n + 1 ) / 2 ) + 1 # Number of partitions |
Devin Lim | 142b534 | 2017-07-20 15:22:39 -0700 | [diff] [blame] | 146 | 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] | 147 | if n > 3: |
Devin Lim | 142b534 | 2017-07-20 15:22:39 -0700 | [diff] [blame] | 148 | main.kill.append( main.Cluster.runningNodes[ p - 1 ] ) |
Jon Hall | 3b489db | 2015-10-05 14:38:37 -0700 | [diff] [blame] | 149 | # NOTE: This only works for cluster sizes of 3,5, or 7. |
| 150 | |
Jeremy Ronquillo | 23fb216 | 2017-09-15 14:59:57 -0700 | [diff] [blame] | 151 | # NOTE: This is to fix an issue with wiki formating |
Jon Hall | 4f360bc | 2017-09-07 10:19:52 -0700 | [diff] [blame] | 152 | nodeNames = [ node.name for node in main.kill ] |
| 153 | main.step( "Killing nodes: " + str( nodeNames ) ) |
Jon Hall | 3b489db | 2015-10-05 14:38:37 -0700 | [diff] [blame] | 154 | killResults = main.TRUE |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 155 | for ctrl in main.kill: |
Jon Hall | 3b489db | 2015-10-05 14:38:37 -0700 | [diff] [blame] | 156 | killResults = killResults and\ |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 157 | ctrl.onosKill( ctrl.ipAddress ) |
| 158 | ctrl.active = False |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 159 | utilities.assert_equals( expect=main.TRUE, actual=killResults, |
Jon Hall | b3ed8ed | 2015-10-28 16:43:55 -0700 | [diff] [blame] | 160 | onpass="ONOS nodes killed successfully", |
| 161 | onfail="ONOS nodes NOT successfully killed" ) |
| 162 | |
Jon Hall | d2871c2 | 2016-07-26 11:01:14 -0700 | [diff] [blame] | 163 | main.step( "Checking ONOS nodes" ) |
| 164 | nodeResults = utilities.retry( main.HA.nodesCheck, |
| 165 | False, |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 166 | args=[ main.Cluster.active() ], |
Jon Hall | d2871c2 | 2016-07-26 11:01:14 -0700 | [diff] [blame] | 167 | sleep=15, |
| 168 | attempts=5 ) |
| 169 | |
| 170 | utilities.assert_equals( expect=True, actual=nodeResults, |
| 171 | onpass="Nodes check successful", |
| 172 | onfail="Nodes check NOT successful" ) |
| 173 | |
| 174 | if not nodeResults: |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 175 | for ctrl in main.Cluster.active(): |
Jon Hall | d2871c2 | 2016-07-26 11:01:14 -0700 | [diff] [blame] | 176 | main.log.debug( "{} components not ACTIVE: \n{}".format( |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 177 | ctrl.name, |
| 178 | ctrl.CLI.sendline( "scr:list | grep -v ACTIVE" ) ) ) |
Jon Hall | d2871c2 | 2016-07-26 11:01:14 -0700 | [diff] [blame] | 179 | main.log.error( "Failed to start ONOS, stopping test" ) |
Devin Lim | 4407596 | 2017-08-11 10:56:37 -0700 | [diff] [blame] | 180 | main.cleanAndExit() |
Jon Hall | d2871c2 | 2016-07-26 11:01:14 -0700 | [diff] [blame] | 181 | |
Jon Hall | b3ed8ed | 2015-10-28 16:43:55 -0700 | [diff] [blame] | 182 | def CASE62( self, main ): |
| 183 | """ |
| 184 | The bring up stopped nodes |
| 185 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 186 | main.HA.bringUpStoppedNode( main ) |
Jon Hall | a440e87 | 2016-03-31 15:15:50 -0700 | [diff] [blame] | 187 | |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 188 | def CASE7( self, main ): |
| 189 | """ |
| 190 | Check state after ONOS failure |
| 191 | """ |
Jon Hall | b3ed8ed | 2015-10-28 16:43:55 -0700 | [diff] [blame] | 192 | try: |
| 193 | main.kill |
| 194 | except AttributeError: |
| 195 | main.kill = [] |
| 196 | |
Devin Lim | 142b534 | 2017-07-20 15:22:39 -0700 | [diff] [blame] | 197 | main.HA.checkStateAfterEvent( main, afterWhich=0 ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 198 | main.step( "Leadership Election is still functional" ) |
| 199 | # Test of LeadershipElection |
| 200 | leaderList = [] |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 201 | |
Jon Hall | 3b489db | 2015-10-05 14:38:37 -0700 | [diff] [blame] | 202 | restarted = [] |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 203 | for ctrl in main.kill: |
| 204 | restarted.append( ctrl.ipAddress ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 205 | leaderResult = main.TRUE |
Jon Hall | 3b489db | 2015-10-05 14:38:37 -0700 | [diff] [blame] | 206 | |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 207 | for ctrl in main.Cluster.active(): |
| 208 | leaderN = ctrl.electionTestLeader() |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 209 | leaderList.append( leaderN ) |
| 210 | if leaderN == main.FALSE: |
| 211 | # error in response |
| 212 | main.log.error( "Something is wrong with " + |
| 213 | "electionTestLeader function, check the" + |
| 214 | " error logs" ) |
| 215 | leaderResult = main.FALSE |
| 216 | elif leaderN is None: |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 217 | main.log.error( ctrl.name + |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 218 | " shows no leader for the election-app was" + |
| 219 | " elected after the old one died" ) |
| 220 | leaderResult = main.FALSE |
| 221 | elif leaderN in restarted: |
Jon Hall | ca31989 | 2017-06-15 15:25:22 -0700 | [diff] [blame] | 222 | main.log.error( ctrl.name + " shows " + str( leaderN ) + |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 223 | " as leader for the election-app, but it " + |
| 224 | "was restarted" ) |
| 225 | leaderResult = main.FALSE |
| 226 | if len( set( leaderList ) ) != 1: |
| 227 | leaderResult = main.FALSE |
| 228 | main.log.error( |
| 229 | "Inconsistent view of leader for the election test app" ) |
| 230 | # TODO: print the list |
| 231 | utilities.assert_equals( |
| 232 | expect=main.TRUE, |
| 233 | actual=leaderResult, |
| 234 | onpass="Leadership election passed", |
| 235 | onfail="Something went wrong with Leadership election" ) |
| 236 | |
| 237 | def CASE8( self, main ): |
| 238 | """ |
| 239 | Compare topo |
| 240 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 241 | main.HA.compareTopo( main ) |
Jon Hall | d2871c2 | 2016-07-26 11:01:14 -0700 | [diff] [blame] | 242 | |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 243 | def CASE9( self, main ): |
| 244 | """ |
| 245 | Link s3-s28 down |
| 246 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 247 | main.HA.linkDown( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 248 | |
| 249 | def CASE10( self, main ): |
| 250 | """ |
| 251 | Link s3-s28 up |
| 252 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 253 | main.HA.linkUp( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 254 | |
| 255 | def CASE11( self, main ): |
| 256 | """ |
| 257 | Switch Down |
| 258 | """ |
| 259 | # NOTE: You should probably run a topology check after this |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 260 | main.HA.switchDown( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 261 | |
| 262 | def CASE12( self, main ): |
| 263 | """ |
| 264 | Switch Up |
| 265 | """ |
| 266 | # NOTE: You should probably run a topology check after this |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 267 | main.HA.switchUp( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 268 | |
| 269 | def CASE13( self, main ): |
| 270 | """ |
| 271 | Clean up |
| 272 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 273 | main.HAlabels.append( "Restart" ) |
| 274 | main.HAdata.append( str( main.restartTime ) ) |
| 275 | main.HA.cleanUp( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 276 | |
| 277 | def CASE14( self, main ): |
| 278 | """ |
| 279 | start election app on all onos nodes |
| 280 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 281 | main.HA.startElectionApp( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 282 | |
| 283 | def CASE15( self, main ): |
| 284 | """ |
| 285 | Check that Leadership Election is still functional |
acsmars | 71adceb | 2015-08-31 15:09:26 -0700 | [diff] [blame] | 286 | 15.1 Run election on each node |
| 287 | 15.2 Check that each node has the same leaders and candidates |
| 288 | 15.3 Find current leader and withdraw |
| 289 | 15.4 Check that a new node was elected leader |
| 290 | 15.5 Check that that new leader was the candidate of old leader |
| 291 | 15.6 Run for election on old leader |
| 292 | 15.7 Check that oldLeader is a candidate, and leader if only 1 node |
| 293 | 15.8 Make sure that the old leader was added to the candidate list |
| 294 | |
| 295 | old and new variable prefixes refer to data from before vs after |
| 296 | withdrawl and later before withdrawl vs after re-election |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 297 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 298 | main.HA.isElectionFunctional( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 299 | |
| 300 | def CASE16( self, main ): |
| 301 | """ |
| 302 | Install Distributed Primitives app |
| 303 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 304 | main.HA.installDistributedPrimitiveApp( main ) |
Jon Hall | 5cf14d5 | 2015-07-16 12:15:19 -0700 | [diff] [blame] | 305 | |
| 306 | def CASE17( self, main ): |
| 307 | """ |
| 308 | Check for basic functionality with distributed primitives |
| 309 | """ |
Devin Lim | 58046fa | 2017-07-05 16:55:00 -0700 | [diff] [blame] | 310 | main.HA.checkDistPrimitivesFunc( main ) |