Rename fletch -> dartino

platforms/stm/disco_dartino/src/circular_buffer_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 <stdio.h>
 #include <cinttypes>
 
 #define TESTING
 #include "src/shared/assert.h"
 #include "src/shared/atomic.h"
 
-#include "platforms/stm/disco_fletch/src/circular_buffer.h"
+#include "platforms/stm/disco_dartino/src/circular_buffer.h"
 
 void compare_buffers(uint8_t* buffer1, uint8_t* buffer2, int size) {
   for (int i = 0; i < size; i++) {
     EXPECT_EQ(buffer1[i], buffer2[i]);
   }
 }
 
 // This test will alternate between write and read, and always try to write
 // 'to_write' bytes and read 'to_read' bytes. This will continue until 1000
 // bytes have been both written and read.
@@ skipping 77 matching lines @@
 
 int main(int argc, char** argv) {
   write_test();
 
   for (int i = 1; i < 10; i++) {
     for (int j = 1; j < 10; j++) {
       write_read_test(i, j);
     }
   }
 }