Commit 02b73f57 by Maxime Chéramy

Tasks: Abort on miss is now the default.

parent 4746ad6d
...@@ -278,7 +278,7 @@ class Configuration(object): ...@@ -278,7 +278,7 @@ class Configuration(object):
return self._scheduler_info return self._scheduler_info
def add_task(self, name, identifier, task_type="Periodic", def add_task(self, name, identifier, task_type="Periodic",
abort_on_miss=False, period=10, activation_date=0, abort_on_miss=True, period=10, activation_date=0,
n_instr=0, mix=0.5, stack_file="", wcet=0, acet=0, n_instr=0, mix=0.5, stack_file="", wcet=0, acet=0,
et_stddev=0, deadline=10, base_cpi=1.0, followed_by=None, et_stddev=0, deadline=10, base_cpi=1.0, followed_by=None,
list_activation_dates=[], preemption_cost=0, data=None): list_activation_dates=[], preemption_cost=0, data=None):
......
...@@ -93,8 +93,8 @@ class Parser(object): ...@@ -93,8 +93,8 @@ class Parser(object):
attr['name'].value, attr['name'].value,
int(attr['id'].value), int(attr['id'].value),
task_type, task_type,
'abort_on_miss' in attr 'abort_on_miss' not in attr
and attr['abort_on_miss'].value == 'yes', or attr['abort_on_miss'].value == 'yes',
float(attr['period'].value), float(attr['period'].value),
float(attr['activationDate'].value) float(attr['activationDate'].value)
if 'activationDate' in attr else 0, if 'activationDate' in attr else 0,
......
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 sign in to comment