SuccessChanges

Summary

  1. Fix nested switch (#605) (details)
Commit 5220d3d8b1c3712973936e0af1417aea47f31f50 by noreply
Fix nested switch (#605)
* fix nested switch

* fix missing sort

* need z3 for K

* install z3 from sources
The file was modifiedparser/kPrinter.ml (diff)
The file was modifiedsemantics/cpp/language/common/typing.k (diff)
The file was modifiedsemantics/cpp/language/common/class.k (diff)
The file was modified.build/k (diff)
The file was modifiedDockerfile (diff)
The file was addedtests/unit-pass/nested-switch.c