David Goldblatt
|
83cad746ae
|
prof_log: cassert(config_prof) in public functions
This lets the compiler infer that the code is dead in builds where profiling is
enabled, saving on space there.
|
2021-01-04 14:55:49 -08:00 |
|
Yinan Zhang
|
21dfa4300d
|
Change assert_* to expect_* in tests
```
grep -Irl assert_ test/ | xargs sed -i \
's/witness_assert/witness_do_not_replace/g';
grep -Irl assert_ test/ | xargs sed -i \
's/malloc_mutex_assert_owner/malloc_mutex_do_not_replace_owner/g';
grep -Ir assert_ test/ | grep -o "[_a-zA-Z]*assert_[_a-zA-Z]*" | \
grep -v "^assert_"; # confirm no output
grep -Irl assert_ test/ | xargs sed -i 's/assert_/expect_/g';
grep -Irl witness_do_not_replace test/ | xargs sed -i \
's/witness_do_not_replace/witness_assert/g';
grep -Irl malloc_mutex_do_not_replace_owner test/ | xargs sed -i \
's/malloc_mutex_do_not_replace_owner/malloc_mutex_assert_owner/g';
```
|
2020-02-19 16:03:16 -08:00 |
|
Yinan Zhang
|
3fa142cf39
|
Remove _externs from prof internal header names
|
2019-12-23 11:14:15 -08:00 |
|
Yinan Zhang
|
ea42174d07
|
Refactor profiling headers
|
2019-12-20 17:17:48 -08:00 |
|
Yinan Zhang
|
ad3f7dbfa0
|
Buffer prof_log_stop
Make use of the new buffered writer for the output of `prof_log_stop`.
|
2019-08-12 09:06:01 -07:00 |
|
Qi Wang
|
c2a3a7cd3f
|
Fix test/unit/prof_log
Compiler optimizations may produce traces more than expected. Instead verify
the lower bound only.
|
2019-04-05 13:47:10 -07:00 |
|
Tyler Etzel
|
5e23f96dd4
|
Add unit tests for logging
|
2018-08-01 13:27:11 -07:00 |
|