Skip to content

Fix a name clash

Pierre Roux requested to merge nameclash_job_preemption_points into master

Two different things were named job_preemption_points in model/preemption/parameter.v and model/preemption/limited_preemptive.v (apparently, this was already known but never properly fixed). I offer to rename the instance that has the least occurences.

Edited by Björn Brandenburg

Merge request reports