#pragma once

#include <wtf/FilePrintStream.h>

#include <wtf/Vector.h>

#if ENABLE(FUZZILLI)

#if ENABLE(LIBFUZZER)

#error "Fuzzilli requires libFuzzer to be disabled!"

#endif

namespace Fuzzilli {

struct SharedData {

uint32_t numEdges;

uint8_t edges[];

};

extern struct SharedData* sharedData;

extern uint32_t* edgesStart;

extern uint32_t* edgesStop;

extern char* reprlInputData;

extern size_t numPendingRejectedPromises;

void resetCoverageEdges();

FilePrintStream& logFile();

void waitForCommand();

void initializeCoverage(uint32_t* start, uint32_t* stop);

void readInput(Vector<char>* buffer);

void flushReprl(int32_t result);

void initializeReprl();

} // namespace Fuzzilli

#endif // ENABLE(FUZZILLI)