projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31681c7) | patch
Fix type checks for relation operators
authorAndres Noetzli <noetzli@stanford.edu>
Mon, 15 May 2017 17:09:45 +0000 (10:09 -0700)
committerAndres Noetzli <noetzli@stanford.edu>
Mon, 15 May 2017 17:09:45 +0000 (10:09 -0700)
commit370052d7bb7125376eeb7296091f5ce977421efa
tree03331800f869765a2660dad7d6d3174e9e539ea7tree
parent31681c7ff2a1469f5efc325fc1b3a406e3a85949commit | diff
Fix type checks for relation operators

This commit fixes an assertion error when applying transpose or transitive
closure to a set instead of a relation. Instead it now prints a parse error.
src/theory/sets/theory_sets_type_rules.h diff | blob | history