Skip to content
Snippets Groups Projects
  • Sergey Bozhko's avatar
    c14a8266
    optimize names for run-to-completion threshold functions · c14a8266
    Sergey Bozhko authored and Björn Brandenburg's avatar Björn Brandenburg committed
    The names for job's and task's run-to-completion
    threshold functions are so long that it often gets
    in the way of writing theorems and proofs. As
    a compromise between verbosity and convenience it
    was decided to rename [task_run_to_completion_threshold]
    to [task_rtct] and [job_run_to_completion_threshold]
    to [job_rtct].
    c14a8266
    History
    optimize names for run-to-completion threshold functions
    Sergey Bozhko authored and Björn Brandenburg's avatar Björn Brandenburg committed
    The names for job's and task's run-to-completion
    threshold functions are so long that it often gets
    in the way of writing theorems and proofs. As
    a compromise between verbosity and convenience it
    was decided to rename [task_run_to_completion_threshold]
    to [task_rtct] and [job_run_to_completion_threshold]
    to [job_rtct].