A tool for checking the output of console programs inspired by LLVM's FileCheck
Version | RDEPEND | DEPEND | BDEPEND | IDEPEND | PDEPEND |
---|---|---|---|---|---|
dev-lang/boogie-3.1.3 | |||||
dev-lang/boogie-3.1.4 | |||||
dev-lang/boogie-3.1.5 | |||||
dev-lang/dafny-4.4.0-r1 | |||||
dev-lang/dafny-4.5.0 | |||||
dev-lang/dafny-4.6.0 |