Mercurial > hg > Papers > 2018 > ryokka-thesis
annotate final_pre/src/enumerate-inputs.c @ 7:28f900230c26
add final_pre
author | ryokka |
---|---|
date | Mon, 19 Feb 2018 23:32:24 +0900 |
parents | |
children |
rev | line source |
---|---|
7 | 1 void enumerateInputs(struct Context* context, |
2 struct Node* node) { | |
3 if (context->loopCount > LIMIT_OF_VERIFICATION_SIZE) { | |
4 return meta(context, Exit); | |
5 } | |
6 | |
7 node->key = nondet_int(); | |
8 node->value = node->key; | |
9 context->next = VerifySpecification; | |
10 context->loopCount++; | |
11 | |
12 return meta(context, Put); | |
13 } |