Fix docs for extensions of bitvectors

UnitTestBot / ksmt

Kotlin/Java API for various SMT solvers

https://ksmt.io/

Apache License 2.0

30 stars 14 forks source link

Fix docs for extensions of bitvectors #156

Closed Damtev closed 7 months ago

Damtev commented 8 months ago

For now, the docs for io.ksmt.KContext#mkBvSignExtensionExpr is literally equal to the docs for io.ksmt.KContext#mkBvZeroExtensionExpr, that is a bit confusing.