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; }
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; } }
void conjecture_assume(conjecture_context *context, bool condition) { if(!condition) conjecture_reject(context); }