Nicolas BENOIT - Maniac
[Main]
[Free Software]
[PhD Research]
[Curriculum]
!Overview Maniac is a tool designed to automate the comparison and the validation of multiple variants of a same program.{html}<br/>{/html}This is achieved by compiling each variant in a distinct shared object and generating a ''loader'' program that will successively load and execute them.{html}<br/>{/html}The ''loader'' also takes charge of initializing input data and checking output data against the ''reference'' variant. The sources tarball comes with a set of demos : * ''compiler options'' : a same variant is compiled with different options affecting execution time * ''data check'' : a buggy variant is screened by Maniac as it generates invalid output data * ''generator'' : a code is sent to [PoCC|http://pocc.sf.net], the resulting variant is timed against the original version * ''implementation'' : two different implementations of the [Syracuse function|http://en.wikipedia.org/wiki/Collatz_conjecture] are compared to each other A detailed description of the file format used to describe input programs and actions can be found in the manual, an example is given below. Maniac is written in Python (version 2.6 or above required). {small}Last update: 20-Feb-2011{/small} {small}Maniac 1.0.1{/small}{html}<br/> {/html}{small}- Fixed a bug with the building of generator's relative path.{/small}{html}<br/> {/html}{small}- Fixed a few issues with the documentation.{/small}{html}<br/> {/html}{small}- Added licensing and copyright infos where it was missing.{/small} {br}
Password
Powered by
LionWiki
Erase cookies
/
Syntax