Rename fletch -> dartino

src/shared/random_test.cc

 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE.md file.
 
 #include "src/shared/assert.h"
 #include "src/shared/test_case.h"
 #include "src/shared/random.h"
 
-namespace fletch {
+namespace dartino {
 
 // Chi squared for getting m 0s out of n bits.
 double ChiSquared(int m, int n) {
   double ys_minus_np1 = (m - n / 2.0);
   double chi_squared_1 = ys_minus_np1 * ys_minus_np1 * 2.0 / n;
   double ys_minus_np2 = ((n - m) - n / 2.0);
   double chi_squared_2 = ys_minus_np2 * ys_minus_np2 * 2.0 / n;
   return chi_squared_1 + chi_squared_2;
 }
 
@@ skipping 60 matching lines @@
         EXPECT(chi_squared <= 24);
 
         // If the predictor bit is a fixed 0 or 1 then it makes no sense to
         // repeat the test with a different age.
         if (predictor_bit < 0) break;
       }
     }
   }
 }
 
-}  // namespace fletch
+}  // namespace dartino