We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Currently we are removing one of the overlapping patches. Need to find a solution which allows us to merge such patches.
eg if(cond) stmt1 else stms2 patch1 : synchronized(obj1) {if(cond) stmt1 else stms2 } patch2 : if(cond) stmt1 else synchronized(obj2) {stms2 }
if(cond) stmt1 else stms2
synchronized(obj1) {if(cond) stmt1 else stms2 }
if(cond) stmt1 else synchronized(obj2) {stms2 }
One of the above patches will be removed
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Currently we are removing one of the overlapping patches. Need to find a solution which allows us to merge such patches.
eg
if(cond) stmt1 else stms2patch1 :
synchronized(obj1) {if(cond) stmt1 else stms2 }patch2 :
if(cond) stmt1 else synchronized(obj2) {stms2 }One of the above patches will be removed
The text was updated successfully, but these errors were encountered: