OLD | NEW |
1 // Copyright (c) 2016, the Fletch project authors. Please see the AUTHORS file | 1 // Copyright (c) 2016, the Dartino project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE.md file. | 3 // BSD-style license that can be found in the LICENSE.md file. |
4 | 4 |
5 #include <stdio.h> | 5 #include <stdio.h> |
6 #include <cinttypes> | 6 #include <cinttypes> |
7 | 7 |
8 #define TESTING | 8 #define TESTING |
9 #include "src/shared/assert.h" | 9 #include "src/shared/assert.h" |
10 | 10 |
11 #include "platforms/stm/disco_fletch/src/cmpctmalloc.h" | 11 #include "platforms/stm/disco_fletch/src/cmpctmalloc.h" |
(...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
46 | 46 |
47 cmpct_test_buckets(); | 47 cmpct_test_buckets(); |
48 #ifdef FLETCH_TARGET_OS_LK | 48 #ifdef FLETCH_TARGET_OS_LK |
49 // TODO(sgjesse): This test crashes. | 49 // TODO(sgjesse): This test crashes. |
50 cmpct_test_get_back_newly_freed(); | 50 cmpct_test_get_back_newly_freed(); |
51 #endif | 51 #endif |
52 cmpct_test_return_to_os(); | 52 cmpct_test_return_to_os(); |
53 cmpct_test_trim(); | 53 cmpct_test_trim(); |
54 cmpct_dump(); | 54 cmpct_dump(); |
55 } | 55 } |
OLD | NEW |