Commit b14c54d0 authored by jdelange's avatar jdelange
Browse files

* examples/aadlv2/ping/software.aadl

   - Specify the Dispatch_Offset property
     so that we can test the generation of offset
     for periodic tasks and the correctness of the runtime
     function compilation.

git-svn-id: 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent dc39e518
......@@ -65,6 +65,7 @@ properties
Period => 2000 Ms;
Deadline => 2000 ms;
Priority => 2;
Dispatch_Offset => 500 Ms;
end P.Impl;
thread Q
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