j
k
j a
j l
Note that it may be worth adding a test for derivative computation after discard as well; that's the issue that SPV_EXT_demote_to_helper_invocation addresses.
Back to the thread
Back to the list