Please do not only run the unit tests after changes; also test whether Z3 starts up...
Attach a file by drag & drop or click to upload
