Add a --2c-wcet (-2cw7) option that generates a main file for computing wcet.
That generated dummy main calls one step function and exits. Imposes -2c.
Loading
Please register or sign in to comment
gricad-gitlab sera indisponible mardi 08/04/2025 entre 12h00 et 13h30 pour une opération de maintenance.
That generated dummy main calls one step function and exits. Imposes -2c.