...
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 ; |
|
...
