Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
lutin
Commits
6aa18c40
Commit
6aa18c40
authored
Jan 07, 2020
by
erwan
Browse files
Update: add source info at microstep "quit" events
parent
67548aad
Changes
1
Hide whitespace changes
Inline
Side-by-side
lib/lutin/lutExe.ml
View file @
6aa18c40
...
...
@@ -2124,7 +2124,7 @@ let rec (genpath_ldbg : t -> store -> t CoTraceExp.t -> ctx ->
Event
.
outputs
=
ctx
.
Event
.
outputs
;
Event
.
locals
=
[]
;
(* fixme *)
Event
.
data
=
ctx
.
Event
.
data
;
Event
.
sinfo
=
None
;
Event
.
sinfo
=
ctx
.
Event
.
sinfo
;
Event
.
next
=
(
fun
()
->
step_ldbg
ctx
t
react
ins
cont3
fail_cont
excn_cont
);
Event
.
terminate
=
ctx
.
Event
.
terminate
;
...
...
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