III. Summary of the Cheddar command line.



The basic command line of cheddar is

my_shell$cheddar [switches] foo1 foo2 ...

where foo1 foo2 can be an unique XML file or one or several AADL files.

Switches can be :







Contact : Frank Singhoff mailto:singhoff@univ-brest.fr
Last update : January, the 4th, 2019