Mercurial > hg > Members > kono > jpf-core

diff src/main/gov/nasa/jpf/vm/choice/PermutationCG.java @ 11:ca88bd8e918c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
PairPermutationGenerator didn't have public ctor PermutationCG ctor didn't have id
author Peter Mehlitz <pcmehlitz@gmail.com>
date Wed, 25 Feb 2015 13:03:40 -0800
parents d0a0ff1c0e10
children
line wrap: on
line diff
--- a/src/main/gov/nasa/jpf/vm/choice/PermutationCG.java	Wed Feb 25 09:42:13 2015 -0800
+++ b/src/main/gov/nasa/jpf/vm/choice/PermutationCG.java	Wed Feb 25 13:03:40 2015 -0800
@@ -35,6 +35,11 @@
   public PermutationCG (PermutationGenerator pg){
     this.pg = pg;
   }
+
+  public PermutationCG (String id, PermutationGenerator pg){
+    super(id);
+    this.pg = pg;
+  }
   
   @Override
   public int[] getNextChoice() {