chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e31bed) | patch
easier to reuse stuff from formal tests
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 30 Dec 2020 12:33:22 +0000 (12:33 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 30 Dec 2020 12:33:22 +0000 (12:33 +0000)
commit4c0560717cd20c54e3e524fe06164697ecdc4d32
tree169e7288f5f62fbcd876c96fcb0d790e7b820998tree | snapshot
parent8e31beda523590fb4d4a3a7c59f97d99aaa864ffcommit | diff
easier to reuse stuff from formal tests

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