Skip to content

Fix small executor bugs: entry start in <clinit>, nested mains, constructor exceptions, reflection, multiarray rows, fp toString - #86

Closed
nils-loose wants to merge 10 commits into
svcomp27/integrationfrom
fix/executor-small-bugs
Closed

Fix small executor bugs: entry start in <clinit>, nested mains, constructor exceptions, reflection, multiarray rows, fp toString#86
nils-loose wants to merge 10 commits into
svcomp27/integrationfrom
fix/executor-small-bugs

Add agent tests for entry-method start, nested mains and constructor …

f6c0a51
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar