From 1373211465c34015ee900e097aa87fbffb401187 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Sun, 29 Jan 2017 19:54:26 +0100 Subject: Trying out ACSL, continuing implementation. --- src/knowledge/knowledge_learn_markov_sequence.c | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'src/knowledge/knowledge_learn_markov_sequence.c') diff --git a/src/knowledge/knowledge_learn_markov_sequence.c b/src/knowledge/knowledge_learn_markov_sequence.c index ec71254..2bd0103 100644 --- a/src/knowledge/knowledge_learn_markov_sequence.c +++ b/src/knowledge/knowledge_learn_markov_sequence.c @@ -2,7 +2,7 @@ #include #include /* defines SIZE_MAX */ -#include "../core/sequence.h" +#include "../sequence/sequence.h" #include "../pipe/pipe.h" @@ -18,15 +18,16 @@ static void set_nth_sequence const ZoO_index sequence_id ) { - /* Safe: (> k->sequences_length 1) */ if (sorted_sequence_id < (k->sequences_length - 1)) { memmove ( - /* Safe: (=< (+ sorted_sequence_id 1) k->sequences_length) */ (void *) (k->sequences_sorted + (sorted_sequence_id + 1)), (const void *) (k->sequences_sorted + sorted_sequence_id), - ((k->sequences_length - 1) - sorted_sequence_id) + ( + ((size_t) ((k->sequences_length - 1) - sorted_sequence_id)) + * sizeof(ZoO_index) + ) ); } -- cgit v1.2.3-70-g09d2