← Back to branch summary

~tapaal-contributor/tapaal/change-export-batch-shortcut-1820012

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/verification/batchProcessing/BatchProcessingVerificationOptions.java

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2019-03-13 07:17:48 UTC
  • mfrom: (989 tapaal)
  • mto: This revision was merged to the branch mainline in revision 991.
  • Revision ID: kenneth@yrke.dk-20190313071748-fm6dc00yy27un3xd
Merged with trunk

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/verification/batchProcessing/BatchProcessingVerificationOptions.java
9
9
public class BatchProcessingVerificationOptions {
10
10
        
11
11
        public enum QueryPropertyOption {
12
 
                KeepQueryOption, SearchWholeStateSpace, ExistDeadlock
 
12
                KeepQueryOption, SearchWholeStateSpace, ExistDeadlock, Soundness, StrongSoundness
13
13
        };
14
14
        
15
15
        public enum SymmetryOption {