← Back to branch summary

~tapaal-contributor/tapaal/disappearing-tokens-1940098

« back to all changes in this revision

Viewing changes to src/pipe/gui/KBoundAnalyzer.java

  • Committer: Jiri Srba
  • Date: 2021-02-28 13:58:39 UTC
  • mfrom: (1112.2.6 add-tar-option)
  • Revision ID: srba@cs.aau.dk-20210228135839-yxy8ljbc89ou0woi
merged in lp:~tapaal-contributor/tapaal/add-tar-option adding the -tar option for the verifypn engine

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/KBoundAnalyzer.java
52
52
 
53
53
        protected VerifyTAPNOptions verificationOptions() {
54
54
                if(modelChecker instanceof VerifyPN){
55
 
                        return new VerifyPNOptions(k, TraceOption.NONE, SearchOption.BFS, false, ModelReduction.BOUNDPRESERVING, false, false, 1, QueryCategory.Default, AlgorithmOption.CERTAIN_ZERO, false, pipe.dataLayer.TAPNQuery.QueryReductionTime.UnlimitedTime, false, null);
 
55
                        return new VerifyPNOptions(k, TraceOption.NONE, SearchOption.BFS, false, ModelReduction.BOUNDPRESERVING, false, false, 1, QueryCategory.Default, AlgorithmOption.CERTAIN_ZERO, false, pipe.dataLayer.TAPNQuery.QueryReductionTime.UnlimitedTime, false, null, false);
56
56
                } else if(modelChecker instanceof VerifyTAPN){
57
57
                        return new VerifyTAPNOptions(k, TraceOption.NONE, SearchOption.BFS, true, false, true, false, false, 1);
58
58
                } else if(modelChecker instanceof VerifyTAPNDiscreteVerification){