solve issue with preliminary simplifications

yanntm · yanntm · commit 4ac55f8a7b62 · 2021-03-23T16:10:37.000+01:00
diff --git a/pnmcc/fr.lip6.move.gal.application.pnmcc/src/fr/lip6/move/gal/application/GlobalPropertySolver.java b/pnmcc/fr.lip6.move.gal.application.pnmcc/src/fr/lip6/move/gal/application/GlobalPropertySolver.java
@@ -135,7 +135,7 @@ public boolean solveProperty(String examination, MccTranslator reader) {
 			}
 			isSafe = true;
 		}
-		if (QUASI_LIVENESS.equals(examination)) {
+		if (QUASI_LIVENESS.equals(examination) || STABLE_MARKING.equals(examination)) {
 			reader.createSPN(false, false);
 		} else {
 			reader.createSPN();

Original file line number	Diff line number	Diff line change
`@@ -135,7 +135,7 @@ public boolean solveProperty(String examination, MccTranslator reader) {`
`135`	`135`	`}`
`136`	`136`	`isSafe = true;`
`137`	`137`	`}`
`138`		`- if (QUASI_LIVENESS.equals(examination)) {`
	`138`	`+ if (QUASI_LIVENESS.equals(examination) \|\| STABLE_MARKING.equals(examination)) {`
`139`	`139`	`reader.createSPN(false, false);`
`140`	`140`	`} else {`
`141`	`141`	`reader.createSPN();`