Commit ed68390b authored by Daniel Le Berre's avatar Daniel Le Berre

One more sonarqube fix.

parent cc4e1322
Pipeline #3340 passed with stages
in 44 minutes and 46 seconds
......@@ -90,10 +90,9 @@ public class CardConstrFinder
if (verbose)
System.out.println("c executing riss subprocess");
try {
Process p = Runtime.getRuntime()
.exec(rissLocation
+ " -findCard -card_print -no-card_amt -no-card_amo -no-card_sub -no-card_twoProd -no-card_merge -card_noLim "
+ instance);
Process p = Runtime.getRuntime().exec(rissLocation
+ " -findCard -card_print -no-card_amt -no-card_amo -no-card_sub -no-card_twoProd -no-card_merge -card_noLim "
+ instance);
BufferedReader reader = new BufferedReader(
new InputStreamReader(p.getErrorStream()));
String line;
......@@ -148,7 +147,7 @@ public class CardConstrFinder
public void run() {
shouldDisplayStatus = true;
}
}, 30 * 1000, 30 * 1000);
}, 30L * 1000, 30L * 1000);
for (Iterator<AtLeastCard> itCard = this.atLeastCards.iterator(); itCard
.hasNext();) {
AtLeastCard atLeastCard = itCard.next();
......
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