Sync with 5.4.0
[deliverable/titan.core.git] / regression_test / lazyEval / lazy.cfg
1 ###############################################################################
2 # Copyright (c) 2000-2015 Ericsson Telecom AB
3 # All rights reserved. This program and the accompanying materials
4 # are made available under the terms of the Eclipse Public License v1.0
5 # which accompanies this distribution, and is available at
6 # http://www.eclipse.org/legal/epl-v10.html
7 ###############################################################################
8 [LOGGING]
9 *.ConsoleMask := STATISTICS|TESTCASE|ACTION|WARNING|ERROR
10 *.FileMask := WARNING|VERDICTOP|USER|TIMEROP|TESTCASE|STATISTICS|PORTEVENT|PARALLEL|FUNCTION|EXECUTOR|ERROR|DEFAULTOP|ACTION
11 *.DiskFullAction := Error
12 *.LogFileNumber := 1
13 *.LogFileSize := 0
14 *.LogEntityName := No
15 *.LogEventTypes := No
16 *.AppendFile := No
17 *.SourceInfoFormat := Stack
18 *.TimeStampFormat := Time
19 *.LogFile := "%e.%h-%r-part%i.%s"
20 #FileMask := LOG_ALL | MATCHING | DEBUG
21 #ConsoleMask := LOG_ALL | MATCHING | DEBUG
22 #TimeStampFormat := DateTime
23 #LogEventTypes := Yes
24 #LogSourceInfo := Yes
25 #SourceInfoFormat=Stack #Single
26
27 [EXECUTE]
28 lazy_main.control
29 #lazy_main.tc_3
30 #lazy_main.tc_altstep_fi_3
31 #lazy_main.tc_mi_1_in
32 #lazy_main.tc_mi_2_in
33 #lazy_main.tc_mi_1_inout
34 #lazy_main.tc_mi_2_inout
35 #lazy_main.tc_mi_1_in_t
36 #lazy_main.tc_mi_2_in_t
37 #lazy_main.tc_mi_1_inout_t
38 #lazy_main.tc_mi_2_inout_t
39 #lazy_main.tc_mi_1_out_t
40 #lazy_main.tc_mi_2_out_t
41 #lazy_main.tc_mABi_1
42 #lazy_main.tc_mABi_2
43
44 lazy_main.tc_mc_1_in
45 lazy_main.tc_mc_par_1_in
46 lazy_main.tc_mc_2_in
47 lazy_main.tc_mc_par_2_in
48 lazy_main.tc_mc_1_inout
49 lazy_main.tc_mc_par_1_inout_in
50 lazy_main.tc_mc_par_1_inout_inout
51 lazy_main.tc_mc_2_inout
52 lazy_main.tc_mc_par_2_inout_in
53 lazy_main.tc_mc_par_2_inout_inout
54 #lazy_main.tc_mc_1_out
55 #lazy_main.tc_mc_2_out
56 #lazy_main.tc_mc_1_in_t
57 #lazy_main.tc_mc_2_in_t
58 #lazy_main.tc_mc_1_inout_t
59 #lazy_main.tc_mc_2_inout_t
60 #lazy_main.tc_mc_1_out_t
61 #lazy_main.tc_mc_2_out_t
62
63 #lazy_main.tc_mc_const_1
64 #lazy_main.tc_mc_const_2
65 #lazy_main.tc_mc_const_1_t
66 #lazy_main.tc_mc_const_2_t
67 #lazy_main.tc_mc_const2_1
68 #lazy_main.tc_mc_const2_2
69 #lazy_main.tc_mc_const2_1_t
70 #lazy_main.tc_mc_const2_2_t
71 #lazy_main.tc_mc_asn1_1
72 #lazy_main.tc_mc_asn1_2
73 #lazy_main.tc_mc_asn1_1_inout
74
75
This page took 0.038913 seconds and 5 git commands to generate.