src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_mainargs2.c · 6f7e6c00441d11c2687b72e1755961bb8b89f57b · pub / frama-c

10 years ago

Fixes to Juliens remarks, clearer code · 6f7e6c00

Arvid Jakobsson authored 10 years ago

 - fix indentation
 - follow the model of must_init, build_initializer
 - only generated code if generate is set,
 - generate code "on project".
 - rename mainargs.i -> mainargs.c

6f7e6c00

History

Fixes to Juliens remarks, clearer code

Arvid Jakobsson authored 10 years ago

 - fix indentation
 - follow the model of must_init, build_initializer
 - only generated code if generate is set,
 - generate code "on project".
 - rename mainargs.i -> mainargs.c