projects
/
cdsspec-compiler.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
deal with looping due to bogus future value via promise expiration
[cdsspec-compiler.git]
/
model.h
diff --git
a/model.h
b/model.h
index 19143d36d4f433c5c734652fbd8fe7ae35a51853..1a2f6a145715fb7b8318eca7522048475ef9b436 100644
(file)
--- a/
model.h
+++ b/
model.h
@@
-29,6
+29,7
@@
class Promise;
*/
struct model_params {
int maxreads;
+ int maxfuturedelay;
};
/**
@@
-91,7
+92,7
@@
private:
bool has_asserted() {return asserted;}
void reset_asserted() {asserted=false;}
int num_executions;
-
+ bool promises_expired();
const model_params params;
/**