turn on staticShadowAnalysis option
This commit is contained in:
@@ -2524,8 +2524,8 @@ int main(int argc, char **argv)
|
||||
out_free_form = 1;
|
||||
out_line_unlimit = 1;
|
||||
}
|
||||
else if (string(curr_arg) == "-sh")
|
||||
staticShadowAnalysis = 1;
|
||||
/*else if (string(curr_arg) == "-sh")
|
||||
staticShadowAnalysis = 1;*/
|
||||
else if (string(curr_arg) == "-shWidth")
|
||||
{
|
||||
i++;
|
||||
|
||||
Reference in New Issue
Block a user