Merge pull request #169 from jix/yices-forall
authorJannis Harder <me@jix.one>
Wed, 8 Jun 2022 07:43:47 +0000 (09:43 +0200)
committerGitHub <noreply@github.com>
Wed, 8 Jun 2022 07:43:47 +0000 (09:43 +0200)
commit534ac217424c52cd7cff6ae1a2729db718c04f3a
tree723dcbfc937b05c2601de4ea9a74cd237d1f8f85
parent2b1a588589251e982dabb9d89b0e49c8611eabec
parentb4c110815ce1d6017c5380a07dd7dcb23f7a304c
Merge pull request #169 from jix/yices-forall

Test designs using $allconst