1 packages found
ConcoLLMic: the first language- and theory-agonistic concolic execution engine via LLM agents