formalsec / smtml / 553

45%

Build Type

push

github

Committed by filipeom

Commit Message

Add indexed rotate operators

This is needed because some solvers may follow the SMT-LIB standard
strictly and only implement the rotate operators using indicies.

Closes #625
Closes #627

BREAKING: This change intentionally breaks the `rotate_{left,right}`
operators to take an integer as the first argument.
This is to force users to make a decision on whether to continue using
the previous behavior with `ext_rotate_{left,right}` or start using
the new API.

Coverage Stats

22 of 50 new or added lines in 6 files covered. (44.0%)

49 existing lines in 4 files now uncovered.

2378 of 5120 relevant lines covered (46.45%)

40.51 hits per line