You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The present TxWeakestPreCondition::getFunctionArgument() tries to search for the
call instruction to get the function arguments.
However, in this program there is no specific call to the function
because it is the main() function and these are command line arguments.
Unlike the parameters passed from one function to another function.
It will be great if we can discuss this issue as well in tonight's meeting.
This is the output that I am seeing:
The text was updated successfully, but these errors were encountered: