We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a378377 commit 0cc5586Copy full SHA for 0cc5586
jbmc/regression/jbmc/lambda1/test_goto_functions.desc
@@ -12,8 +12,3 @@ lambda function reference lambda\$m\$7 in class \"Lambdatest\"
12
lambda function reference lambda\$static\$0 in class \"B\"
13
^EXIT=0$
14
^SIGNAL=0$
15
---
16
17
-Incompatible with symex-driven lazy loading because this test wants to process
18
-everything in the given class, not the functions reachable from a particular
19
-entry point, which is required for symex-driven loading.
0 commit comments