Maniac is a tool designed to automate the comparison and the validation of multiple variants of a same program.