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)

Commit d606c7b88b5479ed1bad1f0e6c7c28fdd2e0578f by Peter W. V. Tran-Jørgensen Refactor test code (commit: d606c7b)
	core/vdm2c/src/test/java/org/overture/codegen/vdm2c/CasesTest.java (diff)
	core/vdm2c/src/test/java/org/overture/codegen/vdm2c/MultiFileModelTestBase.java
Commit 1f170f2decb6b0f74c218b5665f8e0beebaa4020 by Peter W. V. Tran-Jørgensen Mangle token types Closes #81 (commit: 1f170f2)
	core/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
Commit fd9a73f7cd673a85990290b0529ee0ce50d71312 by Peter W. V. Tran-Jørgensen Update CompatibleMethodCollector to handle pre and postcondition expressions (commit: fd9a73f)
	core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CompatibleMethodCollector.java (diff)
Commit e70575153a6f6e84729751e7f168976209f6c0ea by Peter W. V. Tran-Jørgensen Remove packaging phase from Jenkinsfile (commit: e705751)
	Jenkinsfile (diff)