Name | Last commit | Last update |
---|---|---|
src/plugins/e-acsl |
- 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
Name | Last commit | Last update |
---|---|---|
src/plugins/e-acsl |