projects / cvc5.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Fix pto handling for heaps that are not a subset of the base heap (#8942)
[cvc5.git] / .style.yapf
1 [style]
2 based_on_style = pep8
3 split_before_arithmetic_operator = true
4 split_before_bitwise_operator = true
5 split_before_logical_operator = true