Raw options compute wrong k-bound - fix 2051167 (#132)

Fixes: https://bugs.launchpad.net/tapaal/+bug/2051167
TAPAAL · Jan 31, 2024 · b416e08 · b416e08
2 parents 025d57e + 3ac2873
commit b416e08
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/main/java/net/tapaal/gui/petrinet/dialog/QueryDialog.java b/src/main/java/net/tapaal/gui/petrinet/dialog/QueryDialog.java
@@ -4770,7 +4770,10 @@ private void updateRawVerificationOptions() {
 
         boolean isColored = (lens != null && lens.isColored() || tapnNetwork.isColored());
         VerifyTAPNOptions verifytapnOptions = Verifier.getVerificationOptions(query, isColored);
-        verifytapnOptions.setTokensInModel(((TimedArcPetriNet) templateBox.getSelectedItem()).getNumberOfTokensInNet());
+
+        ITAPNComposer composer = new TAPNComposer(new MessengerImpl(), false);
+        Tuple<TimedArcPetriNet, NameMapping> transformedModel = composer.transformModel(QueryDialog.this.tapnNetwork);
+        verifytapnOptions.setTokensInModel(transformedModel.value1().getNumberOfTokensInNet());
 
         rawVerificationOptionsTextArea.setText(verifytapnOptions.toString());
     }