SuccessChanges

Summary

  1. Added PO for non-nil values in binary comparisons (commit: de71405) (details)
Commit de71405dcbbebcf8d46f5eb3c3a5100e2731abe7 by nick.battle
Added PO for non-nil values in binary comparisons
(commit: de71405)
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamExpVisitor.java (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/pacemakerSL.vdmsl.result (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/pp/HomeAutomationConcPP.vdmpp.result (diff)