Nicolas BENOIT - Maniac
[Main]
[Free Software]
[PhD Research]
[Curriculum]
!Mania Description Files Maniac's input files are named ''mania'', they follow an XML-like syntax. {small}{{<mania> <variants> <variant name="buggy" gen="none" /> </variants> <plans> <plan name="time" default="true"> <variants> <variant name="ref" compflags="-O2" /> <variant name="buggy" compflags="-O2" /> </variants> </plan> </plans> <program name="syracuse" ext="c"> <entry name="mania_entry" /> <data> <array type="unsigned int" name="array" dims="[111]" ini="true" value="rand" chk="true" /> </data> </program> </mania>}}{/small} Above is the mania file of the ''data check'' demo.
Password
Powered by
LionWiki
Erase cookies
/
Syntax