]> git.lizzy.rs Git - rust.git/commit
Merge pull request #474 from RalfJung/miri-validate
authorOliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer <github35764891676564198441@oli-obk.de>
Thu, 11 Oct 2018 11:36:43 +0000 (13:36 +0200)
committerGitHub <noreply@github.com>
Thu, 11 Oct 2018 11:36:43 +0000 (13:36 +0200)
commitdc08735acf029e5faf90e65718ed47b185415939
tree3668a5cafe284e1aa3f3cee8cd394d5f57e9f4b4
parentd94d32e937c672317527cb440788138f688bf3c4
parente4dfb7013b71b9c6f573aed24e76eab5fdf088e0
Merge pull request #474 from RalfJung/miri-validate

Enable enforcing the validity invariant per default