Skip to content
GitLab
Menu
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
946a1f9b
Commit
946a1f9b
authored
Mar 23, 2011
by
Alfons Laarman
Browse files
compiler fix: parenthesis around program counter guards
parent
ff31c5f7
Changes
2
Hide whitespace changes
Inline
Side-by-side
tools/dvecompile.cpp
View file @
946a1f9b
...
...
@@ -94,10 +94,9 @@ void dve_compiler::write_C(dve_expression_t & expr, std::ostream & ostr, std::st
break
;
case
T_DOT
:
ostr
<<
state_name
<<
"."
;
ostr
<<
parent_table
->
get_process
(
parent_table
->
get_state
(
expr
.
get_ident_gid
())
->
get_process_gid
())
->
get_name
();
ostr
<<
".state"
<<
(
ltsmin
?
".var"
:
""
)
<<
" == "
;
ostr
<<
parent_table
->
get_state
(
expr
.
get_ident_gid
())
->
get_lid
();
ostr
<<
in_state
(
parent_table
->
get_state
(
expr
.
get_ident_gid
())
->
get_process_gid
(),
parent_table
->
get_state
(
expr
.
get_ident_gid
())
->
get_lid
(),
state_name
);
break
;
case
T_IMPLY
:
...
...
tools/dvecompile.h
View file @
946a1f9b
...
...
@@ -175,7 +175,7 @@ struct dve_compiler: public dve_explicit_system_t
void
block_end
()
{
deindent
();
line
(
"}"
);
}
std
::
string
in_state
(
int
process
,
int
state
,
std
::
string
from_state
)
{
return
process_state
(
process
,
from_state
)
+
" == "
+
wibble
::
str
::
fmt
(
state
);
return
"("
+
process_state
(
process
,
from_state
)
+
" == "
+
wibble
::
str
::
fmt
(
state
)
+
")"
;
}
void
setOutput
(
std
::
ostream
&
o
)
{
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a 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