Skip to content

Handle StackOverflowError in the target as the plain JVM would - #78

Closed
nils-loose wants to merge 2 commits into
svcomp27/integrationfrom
fix/stackoverflow-handling
Closed

Handle StackOverflowError in the target as the plain JVM would#78
nils-loose wants to merge 2 commits into
svcomp27/integrationfrom
fix/stackoverflow-handling

Do not report a violation of an execution that overflowed the stack

db097ce
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar