diff options
| author | Josh Gao <jmgao@google.com> | 2018-09-18 13:38:31 -0700 |
|---|---|---|
| committer | Josh Gao <jmgao@google.com> | 2018-09-18 13:42:08 -0700 |
| commit | d747bb8f3f7061786db9ed77430a572361f263af (patch) | |
| tree | cf4254af7d55bdb17da4cd1d7c58c9fc1fec7c29 /tests/float_test.cpp | |
| parent | 5fa9df8efc96667564cc5289b176592bd7882953 (diff) | |
fdsan: improve documentation.
Fix a race condition in the example, and add a linearized version to
make it more clear what's going on.
Test: none
Change-Id: Id9158e4fd407b676ef364e7076985de3ad477457
Diffstat (limited to 'tests/float_test.cpp')
0 files changed, 0 insertions, 0 deletions