Skip to content
Snippets Groups Projects
Commit 61901b32 authored by Andreas Klebinger's avatar Andreas Klebinger Committed by Marge Bot
Browse files

SpecConstr: Properly create rules for call patterns representing partial applications 

The main fix is that in addVoidWorkerArg we now add the argument to the front.

This fixes #21448.

-------------------------
Metric Decrease:
    T16875
-------------------------
parent 9372aaab
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment