chiark / gitweb /
wdt: replace an assert with an ensure
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 27 Jan 2021 00:55:07 +0000 (00:55 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 27 Jan 2021 00:55:07 +0000 (00:55 +0000)
commit5118b1118fddf8a30e00a9e0792b0fe104ec6336
tree49be6e179af74d47bd01e17c9650b9c1b3a0c082
parentaf507695584cdcd6857df2f086330391b180de9a
wdt: replace an assert with an ensure

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
wdriver/wdt-simple.rs