Closed egnha closed 7 years ago
Name these vld_true, vld_false. They are the most general local checkers possible.
vld_true
vld_false
Example: vld_true(~x) should generate the check formula list("Not TRUE: x" ~ x) ~ isTRUE.
vld_true(~x)
list("Not TRUE: x" ~ x) ~ isTRUE
Name these
vld_true
,vld_false
. They are the most general local checkers possible.Example:
vld_true(~x)
should generate the check formulalist("Not TRUE: x" ~ x) ~ isTRUE
.