EmbeddedMontiArcStudio issueshttps://git.rwth-aachen.de/monticore/EmbeddedMontiArc/EmbeddedMontiArcStudio/-/issues2018-07-11T15:36:36+02:00https://git.rwth-aachen.de/monticore/EmbeddedMontiArc/EmbeddedMontiArcStudio/-/issues/4[Bug] NFPVerification - Project: Some Links to witnesses are not generated2018-07-11T15:36:36+02:00vonWenckstern[Bug] NFPVerification - Project: Some Links to witnesses are not generated@ferdinand.mehlan tested with contraint `rule1.ocl`
![image](/uploads/35a3cf4635f410ee7f15fca30a33d33d/image.png)
![image](/uploads/b39113286db9776c374ea411f0c6be69/image.png)
Tested on version: https://rwth-aachen.sciebo.de/s/ljgKW9c...@ferdinand.mehlan tested with contraint `rule1.ocl`
![image](/uploads/35a3cf4635f410ee7f15fca30a33d33d/image.png)
![image](/uploads/b39113286db9776c374ea411f0c6be69/image.png)
Tested on version: https://rwth-aachen.sciebo.de/s/ljgKW9cWvL2qMH9?path=%2F1.7.5-BETAFerdinand Alexander MehlanFerdinand Alexander Mehlan