This is Spica’s blog

alive-mutate

This is a blog about a LLVM IR mutation tool called alive-mutate based on Alive2.

alive-mutate