status-im/realm-js
2
0
Fork 0
mirror of https://github.com/status-im/realm-js.git synced 2025-01-11 23:04:29 +00:00
Code Issues Projects Releases Wiki Activity

Allow non-empty no-op changesets when there should be no notification in the fuzzer

Browse Source
This commit is contained in:
Thomas Goyne 2016-03-28 12:49:25 -07:00
parent 7a75e2bae2
commit 5eb18ed487
1 changed files with 18 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
fuzzer/fuzzer.cpp
View File

@ -90,7 +90,7 @@ static bool apply_changes(fuzzer::CommandFile& commands, fuzzer::RealmState& sta
return false;
}
static void verify(CollectionChangeIndices const& changes, std::vector<int64_t> values, fuzzer::RealmState& state)
static auto verify(CollectionChangeIndices const& changes, std::vector<int64_t> values, fuzzer::RealmState& state)
{
auto tv = tableview(state);
@ -130,6 +130,15 @@ static void verify(CollectionChangeIndices const& changes, std::vector<int64_t>
abort();
}
}
return values;
}
static void verify_no_op(CollectionChangeIndices const& changes, std::vector<int64_t> values, fuzzer::RealmState& state)
{
auto new_values = verify(changes, values, state);
if (!std::equal(begin(values), end(values), begin(new_values), end(new_values)))
abort();
}
static void test(Realm::Config const& config, SharedRealm& r, SharedRealm& r2, std::istream& input_stream)
@ -189,11 +198,15 @@ static void test(Realm::Config const& config, SharedRealm& r, SharedRealm& r2, s
bool expect_notification = apply_changes(command, state2);
state.coordinator.on_change(); r->notify();
if (notification_calls != 1 + expect_notification) {
abort();
if (expect_notification) {
if (notification_calls != 2)
abort();
verify(changes, initial_values, state);
}
else {
if (notification_calls == 2)
verify_no_op(changes, initial_values, state);
}
verify(changes, initial_values, state);
}
int main(int argc, char** argv) {