Rename [ideal_schedule] into [ideal.schedule] (!222) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

Sergey Bozhko requested to merge sbozhko/rt-proofs:move_file into master May 27, 2022

Currently we have a folder analysis/facts/model/ideal and a file ideal_schedule in folder analysis/facts/model.
For consistency, I renamed and moved this file, so now we have a file schedule in folder analysis/facts/model/ideal

Rename [ideal_schedule] into [ideal.schedule]

Merge request reports