search

rgrig / topl

TOPL Runtime Verifier
5 stars 1 forks source link

Stack_overflow with many events #36

Closed rgrig closed 12 years ago

rgrig commented 12 years ago

For example, observable <*> on DaCapo. With most versions of ocamlopt it causes a segfault, actually. (See http://caml.inria.fr/mantis/view.php?id=5064 )