Changes
Summary
- Refactor test code (commit: d606c7b) (details)
- Mangle token types (commit: 1f170f2) (details)
- Update CompatibleMethodCollector to handle pre and postcondition (commit: fd9a73f) (details)
- Remove packaging phase from Jenkinsfile (commit: e705751) (details)