diff options
Diffstat (limited to 'spec/rtems/task/if/storage-size.yml')
| -rw-r--r-- | spec/rtems/task/if/storage-size.yml | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/spec/rtems/task/if/storage-size.yml b/spec/rtems/task/if/storage-size.yml index e4d905e5..ba93498e 100644 --- a/spec/rtems/task/if/storage-size.yml +++ b/spec/rtems/task/if/storage-size.yml @@ -10,15 +10,19 @@ definition: ( ( ${.:/params[0]/name} ) + ( ( ( ${.:/params[1]/name} ) & ${../../attr/if/floating-point:/name} ) != 0 ? ${/score/context/if/fp-size:/name} : 0 ) ) - params: [] - return: null + params: + - ${/c/if/size_t:/name} ${.:/params[0]/name} + - ${../../attr/if/attribute:/name} ${.:/params[1]/name} + return: ${/c/if/size_t:/name} variants: - definition: attributes: null body: | ( ( ${.:/params[0]/name} ) + ${/score/context/if/fp-size:/name} ) - params: [] - return: null + params: + - ${/c/if/size_t:/name} ${.:/params[0]/name} + - ${../../attr/if/attribute:/name} ${.:/params[1]/name} + return: ${/c/if/size_t:/name} enabled-by: - ${/score/cpu/if/all-tasks-are-fp:/name} == ${../../basedefs/if/true:/name} description: null |