speccoder-runtime 0.12.0

Application services of speccoder: the only crate that executes anything.
Documentation
1
2
3
4
# bug fixture: special-case

`seeded`, fixed by a scripted implementer that only recognises the
reproduction's literal input: it must never end verified.