+
Point of view
All features
class PROCESS_GROUP_POSIX
ensure
- Result.in_range(0, capacity)
basic_exec_posix_wait_any (dat:
POINTER)
basic_exec_posix_any_finished (dat:
POINTER)
ensure
-
meaningful: Result >= 127
ensure
-
meaningful: Result <= 0.0
ensure
-
integer_definition: Result = 32