← Back to branch summary

~tapaal-contributor/tapaal/add-java-info-1890600

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNDiscreteVerification.java

merged in lp:~yrke/tapaal/removeSpecialBatchLoading removing special loading of nets in batch processing

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNDiscreteVerification.java
49
49
 
50
50
        protected static String verifydtapnpath = "";
51
51
 
52
 
        private FileFinder fileFinder;
53
 
        private Messenger messenger;
 
52
        private final FileFinder fileFinder;
 
53
        private final Messenger messenger;
54
54
 
55
55
        private ProcessRunner runner;
56
56