package com.code_intelligence.jazzer.mutation.mutator;

import com.code_intelligence.jazzer.mutation.annotation.NotNull;
import com.code_intelligence.jazzer.mutation.api.ExtendedMutatorFactory;
import com.code_intelligence.jazzer.mutation.api.PseudoRandom;
import com.code_intelligence.jazzer.mutation.api.SerializingMutator;
import com.code_intelligence.jazzer.mutation.support.TypeHolder;

import static com.code_intelligence.jazzer.protobuf.Proto3.RepeatedIntegralField3;

import java.io.ByteArrayInputStream;
import java.io.ByteArrayOutputStream;
import java.io.DataInputStream;
import java.io.DataOutputStream;
import java.io.FileInputStream;
import java.io.FileOutputStream;
import java.io.IOException;

import static com.code_intelligence.jazzer.mutation.support.TestSupport.anyPseudoRandom;

public class DebugProtoMutator {
  public static void main(String[] args) throws IOException {
    ExtendedMutatorFactory factory = Mutators.newFactory();
    SerializingMutator mutator =
        factory.createOrThrow(new TypeHolder<@NotNull RepeatedIntegralField3>() {}.annotatedType());
    PseudoRandom rng = anyPseudoRandom();
    RepeatedIntegralField3 value = RepeatedIntegralField3.getDefaultInstance();

    for (int mutation = 0; mutation < 10000; mutation++) {
      System.err.println(mutation);
      value = (RepeatedIntegralField3) mutator.mutate(value, rng);
      System.err.println(
          "value len: " + value.getSomeFieldCount() + " size " + value.getSerializedSize());
      value.toByteArray();
    }
  }
}

Exception in thread "main" java.lang.IllegalStateException: Did not write as much data as expected.
	at com.google.protobuf.CodedOutputStream.checkNoSpaceLeft(CodedOutputStream.java:900)
	at com.google.protobuf.AbstractMessageLite.toByteArray(AbstractMessageLite.java:57)
	at com.code_intelligence.jazzer.mutation.mutator.DebugProtoMutator.main(DebugProtoMutator.java:34)