[proofs] Cancel SYMM in CDProof, throw an error for cyclic proofs during double SYMM...
[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