I have a variable that I want to generate a few times in the same function, each time with the same set of constraints. Can I set the constraints once and the just gen
it many times? That is, instead of this:
var a:uint;
gen a keeping {it in [100..120];};
// some code that uses a
.
.
.
gen a keeping {it in [100..120];};
// some code that uses a
.
.
.
gen a keeping {it in [100..120];};
// some code that uses a
// etc...
I'd like to do this:
var a:uint;
keep a in [100..120];
.
.
.
gen a;
// some code that uses a
.
.
.
gen a;
// some code that uses a
.
.
.
gen a;
// some code that uses a
// etc...
That way if I want to change a
s constraints I only have to do it once.