Incorrect implementation of vc_sbv(Mod|Rem)Expr in C interface?

[Ryan Govostes]

In c_interface.cpp, vc_sbvModExpr and vc_sbvRemExpr are defined as follows:

Expr vc_sbvModExpr(VC vc, int n_bits, Expr left, Expr right) {

    return createBinaryTerm(vc, n_bits, BEEV::SBVREM, left, right);

}

Expr vc_sbvRemExpr(VC vc, int n_bits, Expr left, Expr right) {

    return createBinaryTerm(vc, n_bits, BEEV::SBVMOD, left, right);

}

The use of the values BEEV::SBVREM and BEEV::SBVMOD seem reversed.

Ryan