Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
O
Ocarina
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
2
Issues
2
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
Operations
Operations
Incidents
Analytics
Analytics
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
TASTE
Ocarina
Commits
b828520f
Commit
b828520f
authored
Aug 10, 2017
by
yoogx
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
* Remove occurences of Cheddar_Properties
For issue #105
parent
534729d6
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
2 additions
and
3 deletions
+2
-3
tests/real_units/validation.aadl
tests/real_units/validation.aadl
+2
-3
No files found.
tests/real_units/validation.aadl
View file @
b828520f
...
...
@@ -2,7 +2,6 @@ package validation
public
with
Data_Model
;
with
Deployment
;
with
Cheddar_Properties
;
-----------------
--
Subprograms
--
...
...
@@ -73,8 +72,8 @@ processor implementation native.i
properties
Scheduling_Protocol
=>
(
Posix_1003_Highest_Priority_First_Protocol
);
Priority_Range
=>
0
..
255
;
Cheddar_Properties
::
Scheduler_Quantum
=>
0
Ms
;
Cheddar_Properties
::
Preemptive_Scheduler
=>
true
;
Scheduler_Quantum
=>
0
Ms
;
Preemptive_Scheduler
=>
true
;
end
native
.
i
;
---------------
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment