...
ESO tracelists are mainly used to test SCCharts. They have a very simple format. see the following figure.
Code Block |
---|
language | javaperl |
---|
title | ABO-ESO trace |
---|
linenumbers | true |
---|
|
!reset ;
A
% Output : A B O1
;
% Output : O1
;
B
% Output : B O2
;
!reset ;
% Output :
;
A
% Output :A B O2
; |
...
ESO | core ESO |
---|
Code Block |
---|
language | javaperl |
---|
linenumbers | true |
---|
| !reset;
A B(5) C(false)
%Output: D E(3) F(false)
;
A
%Output:F(false)
; |
| Code Block |
---|
language | javaperl |
---|
linenumbers | true |
---|
| !reset ;
%% A : true
%% B : true
%% B_value : 5
%% C : true
%% C_value : false
%% D :true
%% E : true
%% E_value : 3
%% F : true
%% F_value : false
;
%% A : true
%% F : true
%% F_value : false ; |
|
...