Ascent++
Search
Assertion list
for term "terminated for whatever reason".
Results from
Ascent++
:
2
agreement
→
ReceivesAction
→
terminated for whatever reason
0.43
contract
→
ReceivesAction
→
terminated for whatever reason
0.22