Commit 9e9deb6a authored by Mahesh Tripunitara's avatar Mahesh Tripunitara
Browse files

minor edits in aid of testing

parent 0628a7ef
......@@ -147,6 +147,7 @@ public class RunSolverCNFSAT implements RunSolver {
}
int zc0c1 = _r._eh._sumOfInformationLeakage.get(c0, c1);
//System.out.println("z["+c0+","+c1+"]: "+zc0c1);
IntegerAsCircuit circ_zc0c1 = new IntegerAsCircuit(zc0c1);
c.union(circ_zc0c1);
for (int l = 0; l < circ_zc0c1.getOutputs().size(); l++) {
......
......@@ -56,8 +56,8 @@ public class CNFEverythingTests {
@Test
public void equalSpreadBiggerTest() throws Exception {
int testparam = 10;
int migbudget = 3;
int testparam = 12;
int migbudget = 144;
VagabondSettings vs = VagabondSettings.getInstance();
vs.migrationBudget = new Integer(migbudget);
vs.numberOfClients = new Integer(testparam);
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment