File: .coveredrc

package info (click to toggle)
covered 0.7.10-3
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid, stretch
  • size: 8,916 kB
  • sloc: ansic: 48,807; yacc: 11,650; xml: 8,838; tcl: 7,698; sh: 3,925; lex: 2,240; makefile: 360; perl: 329
file content (176 lines) | stat: -rw-r--r-- 7,628 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
# Covered GUI Configuration File
#--------------------------------
# All variable assignments below are in the form of "variable = value"
# where whitespace must be present between the variable, the "=" character
# and the value.  Comment lines start with the "#" character.

# If set to true, causes the wizard window to be displayed on GUI startup.
# If set to false, the wizard window is suppressed.

ShowWizardOnStartup = true

# If set to true, causes various GUI elements to be saved when exiting the application
# which will be used when the application is restarted at a later time.  Set to false
# to cause the Covered GUI to use the default values.

SaveGuiOnExit = true

# If set to true, causes tooltips to be used for many widgets within the GUI.  If set
# to false, causes all tooltip support to be disabled.
ShowTooltips = true

# Specifies the ttk style type to use for the GUI.

TtkStyle = clam

# Sets the foreground color for all source code that is found
# to be uncovered during simulation.  The value can be any legal color
# value accepted by Tcl.

UncoveredForegroundColor = #000000

# Sets the background color for all source code that is found
# to be uncovered during simulation.  The value can be any legal color
# value accepted by Tcl.

UncoveredBackgroundColor = #a14756

# Sets the foreground color for all source code that is found
# to be covered during simulation.  The value can be any legal color value
# accepted by Tcl.

CoveredForegroundColor = black

# Sets the background color for all source code that is found
# to be covered during simulation.  The value can be any legal color value.
# accepted by Tcl.

CoveredBackgroundColor = #90ee90

# Sets the foreground color for all source code that has been detected as
# containing a race condition situation.  This code is not analyzed by Covered.
# The value can be any legal color value accepted by Tcl.

RaceConditionForegroundColor = white

# Sets the background color for all source code that has been detected as
# containing a race condition situation.  This code is not analyzed by Covered.
# The value can be any legal color value accepted by Tcl.

RaceConditionBackgroundColor = blue

# Causes the summary color for a module/instance that has achieved a line
# coverage percentage greater than or equal to this value (but not 100%) to be
# colored "yellow", indicating that the line coverage can possibly be deemed
# "good enough".  This value must be in the range of 0 - 100.

AcceptableLinePercentage = 90

# Causes the summary color for a module/instance that has achieved a toggle
# coverage percentage greater than or equal to this value (but not 100%) to be
# colored "yellow", indicating that the toggle coverage can possibly be deemed
# "good enough".  This value must be in the range of 0 - 100.

AcceptableTogglePercentage = 90

# Causes the summary color for a module/instance that has achieved a memory
# coverage percentage greater than or equal to this value (but not 100%) to be
# colored "yellow", indicating that the memory coverage can possibly be deemed
# "good enough".  This value must be in the range of 0 - 100.

AcceptableMemoryPercentage = 90

# Causes the summary color for a module/instance that has achieved a combinational
# logic coverage percentage greater than or equal to this value (but not 100%) to be
# colored "yellow", indicating that the combinational logic coverage can possibly be
# deemed "good enough".  This value must be in the range of 0 - 100.

AcceptableCombinationalLogicPercentage = 90

# Causes the summary color for a module/instance that has achieved an FSM state/arc
# coverage percentage greater than or equal to this value (but not 100%) to be
# colored "yellow", indicating that the FSM coverage can possibly be deemed
# "good enough".  This value must be in the range of 0 - 100.

AcceptableFsmPercentage = 90

# Causes the summary color for a module/instance that has achieved an assertion
# coverage percentage greater than or equal to this value (but not 100%) to be
# colored "yellow", indicating that the assertion coverage can possibly be deemed
# "good enough".  This value must be in the range of 0 - 100.

AcceptableAssertionPercentage = 90

# Causes syntax highlighting to be turned on or off.  This value should either be
# 'on' or 'off'.

HighlightingMode = on

# When the syntax highlighting mode is on, causes the preprocessor directive keywords
# to be highlighted with the specified color.  The value may be any color value that
# is acceptable to Tk.

HighlightPreprocessorKeywordColor = ForestGreen

# When the syntax highlighting mode is on, causes the Verilog keywords to be highlighted
# with the specified color.  The value may be any color value that is acceptable to Tk.

HighlightKeywordColor = purple

# When the syntax highlighting mode is on, causes any single or multi-line comments to
# be highlighted with the specified color.  The value may be any color value that is
# acceptable to Tk.

HighlightCommentColor = blue

# When the syntax highlighting mode is on, causes any defined, binary, octal, decimal or
# hexidecimal value to be highlighted with the specified color.  The value may be any
# color value that is acceptable to Tk.

HighlightValueColor = red

# When the syntax highlighting mode is on, causes any quoted string to be highlighted with
# the specified color.  The value may be any color value that is acceptable to Tk.

HighlightStringColor = red

# When the syntax highlighting mode is on, causes any Verilog symbol to be highlighted with
# the specified color.  The value may be any color value that is acceptable to Tk.

HighlightSymbolColor = coral

# If this value is set to true, a popup dialog box will be created whenever the user excludes a coverage
# point, allowing for the creation of a reason for the exclusion.  If this value is set to false, no popup
# box will be displayed when a coverage point is marked for exclusion.  The exclusion reason information
# is saved to the CDD (if specified from the GUI).

EnableExclusionReasons = 1

# This string specifies default reasons for exclusion.  These reasons may be used wherever
# a coverage point is excluded (or the user may specify a unique reason).

ExclusionReasons = {Logic is obsolete but will not be removed for future enhancement possibilities. }

# This value specifies how to handle exclusion reason conflicts that arise when two or more CDD files
# are merged that contain mismatching exclusion reasons for identical coverage points.  The valid
# values are the following:
#   first - Use the exclusion reason from the first CDD file read in that contains the reason
#   last  - Use the exclusion reason from the last CDD file read in that contains the reason
#   all   - Merge all exclusion reasons into one
#   new   - Use the newest exclusion reason specified
#   old   - Use the oldest exclusion reason specified

ExclusionReasonConflictResolution = all

# THE FOLLOWING LINES ARE FOR STORING GUI STATE INFORMATION -- DO NOT MODIFY LINES BELOW THIS COMMENT!

MainWindowGeometry                = 1003x567+261+355
ToggleWindowGeometry              = 366x125+435+411
MemoryWindowGeometry              = 481x381+8+46
CombWindowGeometry                = 915x637+8+46
FsmWindowGeometry                 = 627x480+4+23
AssertWindowGeometry              = 
ModuleInstanceType                = Instance
ModuleInstanceTableListWidth      = 186
ModuleInstanceTableListColumns    = 0:Instance Name:left:0:Module Name:left:0:Hit:right:0:Miss:right:0:Excluded:right:0:Total:right:0:Hit %:right:0:Index:left
ModuleInstanceTableListInitHidden = 0:0:0:0:0:0:0