chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 976690b) | patch
vpid, miri: Disable the exhaustive test under miri
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Apr 2021 15:22:54 +0000 (16:22 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Apr 2021 20:40:36 +0000 (21:40 +0100)
commit4f3d62ed7d5def560a8b27d33f1394e0dd43f73f
treed14ce90b01cb87ea2cf8e18f9ef265c29fa59d88tree | snapshot
parent976690bdc39ea331eb2878a7ba699c510753684dcommit | diff
vpid, miri: Disable the exhaustive test under miri

It is quite slow.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/vpid.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.