]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 01db8b4) | patch
Add miri trophy for LazyArray::swap (ink! PR)
authorHero Bird <robbepop@web.de>
Sat, 25 Apr 2020 12:58:20 +0000 (14:58 +0200)
committerGitHub <noreply@github.com>
Sat, 25 Apr 2020 12:58:20 +0000 (14:58 +0200)
commit72442acaff7c1f2fc805f5cbd39d1661e50cd9d3
treeaee76d32a662db1d9efbc99cf927a1458b262f10tree | snapshot
parent01db8b4d1e335fbdb8a9f6412c63b40aca75fa2dcommit | diff
Add miri trophy for LazyArray::swap (ink! PR)

Details to the found in https://github.com/rust-lang/miri/issues/1364.
Note that this was not a found in a `master` or production release of ink!, however without analysing the code via `miri` this could have potentially happened.
README.md diff | blob | history
Empowering everyone to build reliable and efficient software.