Пример #1
0
 private bool IsGrounded(BitVecExpr value, Solver solver, Context ctx)
 {
     return(ToolsZ3.GetUlong(value, value.SortSize, solver, ctx) != null);
 }