status-im
/
realm-js
mirror of https://github.com/status-im/realm-js.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Log more in the fuzzer

This commit is contained in:
Thomas Goyne 2016-03-21 10:46:43 -07:00
parent 1289c4806c
commit 51edc6909c
2 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
fuzzer/command_file.cpp
View File

@ -52,7 +52,7 @@ static void run_modify(RealmState& state, size_t index, int64_t value)
static void run_delete(RealmState& state, size_t index)
{
if (index < state.table.size()) {
log("delete %zu\n", index);
log("delete %zu (%lld)\n", index, state.table.get_int(1, index));
state.table.move_last_over(index);
}
}

12
fuzzer/fuzzer.cpp
View File

@ -22,6 +22,7 @@ using namespace realm;
#define FUZZ_SORTED 0
#define FUZZ_LINKVIEW 1
#define FUZZ_LOG 0
// Read from a fd until eof into a string
// Needs to use unbuffered i/o to work properly with afl
@ -63,6 +64,11 @@ static TableView tableview(fuzzer::RealmState& state)
static bool apply_changes(fuzzer::CommandFile& commands, fuzzer::RealmState& state)
{
auto tv = tableview(state);
#if FUZZ_LOG
for (size_t i = 0; i < tv.size(); ++i)
fprintf(stderr, "pre: %lld\n", tv.get_int(0, i));
#endif
commands.run(state);
auto tv2 = tableview(state);
@ -70,6 +76,9 @@ static bool apply_changes(fuzzer::CommandFile& commands, fuzzer::RealmState& sta
return true;
for (size_t i = 0; i < tv.size(); ++i) {
#if FUZZ_LOG
fprintf(stderr, "%lld %lld\n", tv.get_int(0, i), tv2.get_int(0, i));
#endif
if (!tv.is_row_attached(i))
return true;
if (tv.get_int(0, i) != tv2.get_int(0, i))
@ -114,6 +123,9 @@ static void verify(CollectionChangeIndices const& changes, std::vector<int64_t>
for (size_t i = 0; i < values.size(); ++i) {
if (values[i] != tv.get_int(1, i)) {
#if FUZZ_LOG
fprintf(stderr, "%lld %lld\n", values[i], tv.get_int(1, i));
#endif
abort();
}
}