Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
divine-ltsmin-deb
Commits
e589a994
Commit
e589a994
authored
Jul 10, 2012
by
Alfons Laarman
Browse files
Fixed warnings
parent
87ac63e7
Changes
1
Hide whitespace changes
Inline
Side-by-side
tools/dvecompile.cpp
View file @
e589a994
...
...
@@ -1513,7 +1513,7 @@ void dve_compiler::gen_state_info()
{
for
(
size_int_t
j
=
0
;
j
<
state_creators
[
i
].
array_size
-
1
;
++
j
)
{
snprintf
(
buf
,
BUFLEN
,
" return %d;"
,
type_no
[
type_name
]
,
j
);
snprintf
(
buf
,
BUFLEN
,
" return %d;"
,
type_no
[
type_name
]);
line
(
buf
);
snprintf
(
buf
,
BUFLEN
,
"case %d:"
,
++
k
);
line
(
buf
);
...
...
@@ -2444,6 +2444,7 @@ bool dve_compiler::is_guard_nes( guard& g, ext_transition_t& t ) {
case
GUARD_COMMITED_FIRST
:
return
(
dynamic_cast
<
dve_process_t
*>
(
get_process
(
t
.
first
->
get_process_gid
()))
->
get_commited
(
t
.
first
->
get_state1_lid
())
&&
!
dynamic_cast
<
dve_process_t
*>
(
get_process
(
t
.
first
->
get_process_gid
()))
->
get_commited
(
t
.
first
->
get_state2_lid
()));
default:
return
true
;
// dont know.
}
return
true
;
}
...
...
@@ -2469,6 +2470,7 @@ bool dve_compiler::is_guard_nds( guard& g, ext_transition_t& t ) {
return ( dynamic_cast<dve_process_t*>(get_process(t.first->get_process_gid()))->get_commited(t.first->get_state1_lid()) &&
!dynamic_cast<dve_process_t*>(get_process(t.first->get_process_gid()))->get_commited(t.first->get_state2_lid()));
*/
default:
return
true
;
// dont know.
}
return
true
;
}
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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