Assertion list for term "set up by the makefile".

Results from Ascent++: 1
parameter ReceivesActionset up by the makefile 0.31