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
44d52252
Commit
44d52252
authored
Aug 10, 2017
by
yoogx
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
* Update reference output
parent
b828520f
Changes
1
Show whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
18 additions
and
18 deletions
+18
-18
tests/real_units/validation.aadl.out
tests/real_units/validation.aadl.out
+18
-18
No files found.
tests/real_units/validation.aadl.out
View file @
44d52252
validation.aadl:1
3
:03: Warning: source_language is not a list while the corresponding property name at programming_properties.aadl:61:02 is a list.
validation.aadl:1
3
:03: Warning: The value of source_language has been converted into a list.
validation.aadl:
20
:03: Warning: source_language is not a list while the corresponding property name at programming_properties.aadl:61:02 is a list.
validation.aadl:
20
:03: Warning: The value of source_language has been converted into a list.
validation.aadl:13
5
:99 Backends: error : Property is false for instance 133 (mysystem.local_ram)
validation.aadl:15
1
:16 Backends: error : Property is false for instance 14 (mysystem.local_node)
validation.aadl:1
2
:03: Warning: source_language is not a list while the corresponding property name at programming_properties.aadl:61:02 is a list.
validation.aadl:1
2
:03: Warning: The value of source_language has been converted into a list.
validation.aadl:
19
:03: Warning: source_language is not a list while the corresponding property name at programming_properties.aadl:61:02 is a list.
validation.aadl:
19
:03: Warning: The value of source_language has been converted into a list.
validation.aadl:13
4
:99 Backends: error : Property is false for instance 133 (mysystem.local_ram)
validation.aadl:15
0
:16 Backends: error : Property is false for instance 14 (mysystem.local_node)
contains_memories execution
-------------------------------------
Evaluating theorem contains_memories
* Iterate for variable: mysystem.local
Content of set mainmem (validation.aadl:12
3
:28) is
mysystem.local_ram: 133 component instance validation.aadl:9
9
:01
Content of set mainmem (validation.aadl:12
2
:28) is
mysystem.local_ram: 133 component instance validation.aadl:9
8
:01
=> Result: TRUE
theorem contains_memories is: TRUE
...
...
@@ -21,8 +21,8 @@ check_memory_and_process_mem execution
Evaluating theorem check_memory_and_process_mem
* Iterate for variable: mysystem.local_ram
Content of set prs (validation.aadl:13
3
:28) is
mysystem.local_node: 14 component instance validation.aadl:8
7
:01
Content of set prs (validation.aadl:13
2
:28) is
mysystem.local_node: 14 component instance validation.aadl:8
6
:01
=> Result: FALSE
theorem check_memory_and_process_mem is: FALSE
...
...
@@ -33,9 +33,9 @@ check_thread_and_process_mem execution
Evaluating theorem check_thread_and_process_mem
* Iterate for variable: mysystem.local_node
Content of set thrs (validation.aadl:14
4
:28) is
mysystem.local_node_p1: 22 component instance validation.aadl:3
2
:01
mysystem.local_node_p2: 65 component instance validation.aadl:5
1
:01
Content of set thrs (validation.aadl:14
3
:28) is
mysystem.local_node_p1: 22 component instance validation.aadl:3
1
:01
mysystem.local_node_p2: 65 component instance validation.aadl:5
0
:01
=> Result: FALSE
theorem check_thread_and_process_mem is: FALSE
...
...
@@ -46,11 +46,11 @@ check_processor_compliance execution
Evaluating theorem check_processor_compliance
* Iterate for variable: mysystem.local_cpu
Content of set prs (validation.aadl:1
60
:28) is
mysystem.local_node: 14 component instance validation.aadl:8
7
:01
Content of set thrs (validation.aadl:16
1
:28) is
mysystem.local_node_p1: 22 component instance validation.aadl:3
2
:01
mysystem.local_node_p2: 65 component instance validation.aadl:5
1
:01
Content of set prs (validation.aadl:1
59
:28) is
mysystem.local_node: 14 component instance validation.aadl:8
6
:01
Content of set thrs (validation.aadl:16
0
:28) is
mysystem.local_node_p1: 22 component instance validation.aadl:3
1
:01
mysystem.local_node_p2: 65 component instance validation.aadl:5
0
:01
=> Result: TRUE
theorem check_processor_compliance is: TRUE
...
...
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