ada/cvc5
0
0
Fork 0
mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00
Code Issues Packages Projects Releases Wiki Activity

BV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589)

Browse Source
This commit is contained in:
Aina Niemetz
2021-05-20 17:41:50 -07:00
committed by GitHub
parent 9e5f2385b7
commit 9670dd4357
50 changed files with 380 additions and 371 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
examples/api/java/BitVectors.java
View File

@@ -94,7 +94,7 @@ public class BitVectors {
// Encoding code (2)
// new_x_ = a + b - x
Expr a_plus_b = em.mkExpr(Kind.BITVECTOR_PLUS, a, b);
Expr a_plus_b = em.mkExpr(Kind.BITVECTOR_ADD, a, b);
Expr a_plus_b_minus_x = em.mkExpr(Kind.BITVECTOR_SUB, a_plus_b, x);
Expr assignment2 = em.mkExpr(Kind.EQUAL, new_x_, a_plus_b_minus_x);