假设我有事实文件:
code_in_git(a)
code_in_git(b)
code_in_git(c)
build_on_disk(a)
build_on_disk(c)
我想断言规则“如果 code_in_git($branch) 而不是 build_on_disk($branch)，则创建事实 needs_build($branch)”。我该怎么做？
最佳答案
好吧，看来我可以用 notany 断言它们:
no_build_on_disk
foreach
deploy.code_in_git($branch)
notany
deploy.build_on_disk($branch)
assert
deploy.needs_build($branch)
关于python - 如何在 Pyke 中断言负面事实？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/26255842/