tree 69fcd4cc5f851c2aaab746b588903eae08e913fb
parent d620f96b89a1f9561fdf880c33e427b6e0475586
author Johnathan Van Why <jrvanwhy@google.com> 1617134622 -0700
committer Johnathan Van Why <jrvanwhy@google.com> 1617134622 -0700

Run Miri twice, with two different flag sets, and add documentation on using Miri to identify as much undefined behavior as possible.