Commit 4a0f193c authored by Felipe Cerqueira's avatar Felipe Cerqueira

Remove missing import

parent f7a79913
Require Import rt.util.all rt.util.divround.
Require Import rt.model.apa.task rt.model.apa.job rt.model.apa.task_arrival
rt.model.apa.schedule rt.model.apa.platform rt.model.apa.platform_fp
rt.model.apa.schedule rt.model.apa.platform rt.model.apa.constrained_deadlines
rt.model.apa.workload rt.model.apa.schedulability rt.model.apa.priority
rt.model.apa.response_time rt.model.apa.interference
rt.model.apa.affinity rt.model.apa.constrained_deadlines.
......@@ -10,7 +10,7 @@ From mathcomp Require Import ssreflect ssrbool eqtype ssrnat seq fintype bigop d
Module ResponseTimeAnalysisFP.
Export Job SporadicTaskset ScheduleOfSporadicTask Workload Interference InterferenceBoundFP
Platform PlatformFP Schedulability ResponseTime Priority
Platform Schedulability ResponseTime Priority
SporadicTaskArrival WorkloadBound Affinity ConstrainedDeadlines.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment