Randoop-based automated test generation for Go-to-Java translated data structures (List & AVL Tree) with repOK invariants. Includes coverage analysis and debugging guide.

Python API to use llama-cpp-python as a repOK generator for Java classes with any LLM with .gguf binary format.

Module that connects a llm repOK generator with a randoop verifier to generate representation invariants for Java classes.