• R/O
  • HTTP
  • SSH
  • HTTPS

Commit

Tags
No Tags

Frequently used words (click to add to your profile)

javaandroidc++cocoaobjective-cc#誰得gamephpbathyscaphelinuxqtrubycomegat翻訳pythontwitterwindowsbtronvb.nettestframeworkgui計画中(planning stage)directxpreviewerpukiwikidommruby

IPODwBDD


Commit MetaInfo

Revision888ff72bdaf7fbbaa78e37e58c746b4e38f4042e (tree)
Time2017-10-13 16:48:31
AuthorTatsuhiro Tsuchiya <tatsuhiro@ieee...>
CommiterTatsuhiro Tsuchiya

Log Message

[bug fixed] a big bug was fixed

fixed a critical bug

Change Summary

Incremental Difference

--- a/src/v1/IPOG.java
+++ b/src/v1/IPOG.java
@@ -46,6 +46,7 @@ public class IPOG extends Generator {
4646 test.set(j, matrix[i][j]);
4747 }
4848 res.add(test);
49+
4950 if (res.size() > MaxNumOfTestcases)
5051 throw new OutOfMaxNumOfTestcasesException();
5152 }
@@ -128,6 +129,7 @@ public class IPOG extends Generator {
128129 for (int j = 0; j <strength -1; j++) {
129130 tmp.set(cg.c[j], (byte) tuple[j]);
130131 }
132+ tmp.set(factor, (byte) tuple[strength -1]);
131133 for (int j = 0; j < factor; j++) {
132134 if (tmp.get(j) < 0)
133135 tmp.set(j, matrix[row][j]);
@@ -142,6 +144,7 @@ public class IPOG extends Generator {
142144 matrix[row][cg.c[i]] = (byte) tuple[i];
143145 assert(tuple[i] < parametermodel.range[cg.c[i]]);
144146 }
147+
145148 if (row >= numOfRows) {
146149 assert(row == numOfRows);
147150 numOfRows = row +1;
@@ -268,6 +271,7 @@ public class IPOG extends Generator {
268271 // append maxv
269272 // System.out.println("row " + row + " " + Arrays.toString(matrix[row]));
270273 matrix[row][factor] = maxv; assert(maxv < parametermodel.range[factor]);
274+
271275 // System.out.println("sel: " + (maxv+1) + " count" + Arrays.toString(count) + " occ" + Arrays.toString(occurrence));
272276 occurrence[maxv]++;
273277
@@ -318,7 +322,7 @@ public class IPOG extends Generator {
318322 }
319323 if (constrainthandler.isPossible(tmptest)) {
320324 for (int j = 0; j < strength; j++)
321- matrix[row][j] = tmptest.get(j);
325+ matrix[row][j] = tmptest.get(j);
322326 row++;
323327 }
324328
@@ -341,6 +345,7 @@ public class IPOG extends Generator {
341345 for (int j = 0; j < strength; j++) {
342346 matrix[row][j] = tmptest.get(j); assert(tmptest.get(j) < parametermodel.range[j]);
343347 }
348+
344349 row++;
345350 }
346351 }