Maniac automatisiert den Vergleich und die Validierung von mehreren Varianten des gleichen Programmes. Es compiliert jede Variante in ein dynamisch ladbares Objekt und erzeugt ein Ladeprogramm, das sie nacheinander lädt und ausführt. Das Ladeprogramm initialisiert auch die Eingabedaten und vergleicht die Ausgaben mit der Referenz.