mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-15 07:15:26 +00:00
Code Activity

#5591

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-10-13 21:38:36 -07:00
parent 7b341313d5
commit f60ed2ce92
2 changed files with 53 additions and 41 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/smt/theory_seq.h
View file

@ -458,6 +458,7 @@ namespace smt {
void add_unhandled_expr(expr* e);
bool check_extensionality();
bool check_extensionality(expr* e1, enode* n1, enode* n2);
bool check_contains();
bool check_lts();
dependency* m_eq_deps { nullptr };