Ejemplos de conjecture_reject en C++ (Cpp)

Ejemplo n.º 1

Archivo: conjecture.c Proyecto: ianh/conjecture

void conjecture_draw_bytes(conjecture_context *context, size_t n,
                           unsigned char *destination) {
  if(n + context->current_index > context->buffer->fill) {
    conjecture_reject(context);
  }

  memmove(destination, context->buffer->data + context->current_index, n);
  context->current_index += n;
}

Ejemplo n.º 2

Archivo: conjecture.c Proyecto: pombredanne/conjecture-1

void conjecture_draw_bytes(conjecture_context *context, size_t n,
                           unsigned char *destination) {
    if((context->status == CONJECTURE_NO_RESULT) &&
            (n + context->current_index > context->buffer->fill)) {
        conjecture_reject(context);
        memset(destination, 0, n);
    } else {
        memmove(destination, context->buffer->data + context->current_index, n);
        context->current_index += n;
    }
}

Ejemplo n.º 3

Archivo: conjecture.c Proyecto: ianh/conjecture

void conjecture_assume(conjecture_context *context, bool condition) {
  if(!condition)
    conjecture_reject(context);
}