search

Baltoli / project-docs

Documents for my Part III project
0 stars 0 forks source link

Better error messages on CallOrder #27

Closed Baltoli closed 7 years ago

Baltoli commented 7 years ago

The last thing to be added to the CallOrder analysis is better error messages using the function added previously.

Baltoli commented 7 years ago

Actually we don't have the specific CallInst, so just log that the releaser eventually could call the acquirer.