UpsilonNumworks/Upsilon
1
0
Fork 0
mirror of https://github.com/UpsilonNumworks/Upsilon.git synced 2026-03-18 21:30:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

[apps/shared/expression_model_store] Remove redundant assert

Browse Source 
If the record is null, it means that the do-while loop has iterated too
many times and there is no record left. However that situation is
already asserted at the begining of the method.
This commit is contained in:
Ruben Dashyan
2019-09-20 16:43:32 +02:00
committed by LeaNumworks
parent a705109b91
commit 3777bcbd87
1 changed files with 0 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
apps/shared/expression_model_store.cpp
View File

@@ -63,10 +63,6 @@ Ion::Storage::Record ExpressionModelStore::recordSatisfyingTestAtIndex(int i, Mo
Ion::Storage::Record record;
do {
record = recordAtIndex(index++);
if (record.isNull()) {
assert(false);
break;
}
if (test(privateModelForRecord(record), context)) {
if (i == count) {
break;