make naming consistent and fix comments (!210) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Kimaya Bedarkar requested to merge RTS/internships-2021:fixNaming into master Apr 14, 2022

The files analysis.facts.readiness.sequential and model.readiness.sequential had some broken comments. This MR fixes those.
In file analysis.facts.readiness.sequential, the naming of the sequential readiness instance was problematic. This MR changes the names to be consistent.