TAPAAL

Merge lp:~tapaal-contributor/tapaal/foxTAPNdi-39 into lp:tapaal/3.9

  1. foxTAPNdi-39
  2. Merge into 3.9
Proposed by Kenneth Yrke Jørgensen
Status: Merged
Approved by: Jiri Srba
Approved revision: 1168
Merge reported by: Kenneth Yrke Jørgensen
Merged at revision: not available
Proposed branch: lp:~tapaal-contributor/tapaal/foxTAPNdi-39
Merge into: lp:tapaal/3.9
Diff against target: 12 lines (+1/-1)
1 file modified
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOptions.java (+1/-1)
To merge this branch: bzr merge lp:~tapaal-contributor/tapaal/foxTAPNdi-39
Reviewer Review Type Date Requested Status
TAPAAL Maintainers Pending
Review via email: mp+415364@code.launchpad.net
To post a comment you must log in.

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOptions.java'
2--- src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOptions.java 2021-03-17 17:04:56 +0000
3+++ src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOptions.java 2022-02-10 09:56:33 +0000
4@@ -30,7 +30,7 @@
5 }
6
7 public VerifyTAPNOptions(int extraTokens, TraceOption traceOption, SearchOption search, boolean symmetry, boolean useStateequationCheck, boolean discreteInclusion, InclusionPlaces inclusionPlaces, boolean enableOverApproximation, boolean enableUnderApproximation, int approximationDenominator) {
8- this(extraTokens,traceOption, search, symmetry, useStateequationCheck, discreteInclusion, new InclusionPlaces(), enableOverApproximation, enableUnderApproximation, approximationDenominator, false);
9+ this(extraTokens,traceOption, search, symmetry, useStateequationCheck, discreteInclusion, inclusionPlaces, enableOverApproximation, enableUnderApproximation, approximationDenominator, false);
10 }
11
12 public VerifyTAPNOptions(int extraTokens, TraceOption traceOption, SearchOption search, boolean symmetry, boolean useStateEquationCheck, boolean discreteInclusion, InclusionPlaces inclusionPlaces, boolean enableOverApproximation, boolean enableUnderApproximation, int approximationDenominator, boolean tarOption) {

Subscribers

People subscribed via source and target branches