1023 literal code tree does not handle two variable equality sort matching - #1029

1023 literal code tree does not handle two variable equality sort matching#1029

mezpusz merged 4 commits into

mastervprover/vampire:masterfrom

1023-literal-code-tree-does-not-handle-two-variable-equality-sort-matchingvprover/vampire:1023-literal-code-tree-does-not-handle-two-variable-equality-sort-matchingCopy head branch name to clipboard