Closed 0152la closed 2 years ago
Achieves the following additional coverage: model/model_eval.c: function eval_arith_idiv, if branch when object_is_rational(eval->vtbl, v1) && [..] holds
eval_arith_idiv
if
object_is_rational(eval->vtbl, v1) && [..]
Achieves the following additional coverage: model/model_eval.c: function
eval_arith_idiv
,if
branch whenobject_is_rational(eval->vtbl, v1) && [..]
holds