From d730246d3de95345387164b876f850c7c660f2ad Mon Sep 17 00:00:00 2001 From: Peizhao Ou Date: Tue, 17 Mar 2015 21:20:18 -0700 Subject: [PATCH] add testcases --- chase-lev-deque-bugfix/testcase6.c | 52 ++++++++++++++++++++++++++++++ 1 file changed, 52 insertions(+) create mode 100644 chase-lev-deque-bugfix/testcase6.c diff --git a/chase-lev-deque-bugfix/testcase6.c b/chase-lev-deque-bugfix/testcase6.c new file mode 100644 index 0000000..2a37636 --- /dev/null +++ b/chase-lev-deque-bugfix/testcase6.c @@ -0,0 +1,52 @@ +#include +#include +#include +#include +#include + +#include "model-assert.h" + +#include "deque.h" + +Deque *q; +int a; +int b; +int c; + +static void task(void * param) { + b=steal(q); + //c=steal(q); +} + +int user_main(int argc, char **argv) +{ + thrd_t t1, t2; + q=create(); + + push(q, 1); + push(q, 2); + push(q, 3); + thrd_create(&t1, task, 0); + thrd_create(&t2, task, 0); + a=take(q); + //c=take(q); + thrd_join(t1); + thrd_join(t2); + +/* + bool correct=true; + if (a!=1 && a!=2 && a!=4 && a!= EMPTY) + correct=false; + if (b!=1 && b!=2 && b!=4 && b!= EMPTY) + correct=false; + if (c!=1 && c!=2 && c!=4 && a!= EMPTY) + correct=false; + if (a!=EMPTY && b!=EMPTY && c!=EMPTY && (a+b+c)!=7) + correct=false; + //if (!correct) + printf("a=%d b=%d c=%d\n",a,b,c); + MODEL_ASSERT(correct); + */ + + return 0; +} -- 2.34.1