diff options
Diffstat (limited to 'test/Expr/ReadExprConsistency.c')
| -rw-r--r-- | test/Expr/ReadExprConsistency.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Expr/ReadExprConsistency.c b/test/Expr/ReadExprConsistency.c index f71483ba..9b794ee5 100644 --- a/test/Expr/ReadExprConsistency.c +++ b/test/Expr/ReadExprConsistency.c @@ -8,7 +8,7 @@ /* This tests checks ensures that only relevant updates are present when doing concrete reads. If they are not, there can be situations where ReadExpr are -in inconcistent state and depend on ordering of other operations. +in inconsistent state and depend on ordering of other operations. See https://github.com/klee/klee/issues/921 |