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

Fix for sonarqube violation.

parent 2dae4789
Pipeline #3352 canceled with stages
......@@ -351,15 +351,10 @@ public class KTHLauncher {
}
} catch (TimeoutException e) {
log("UNKNOWN","s ");
} catch (ParseFormatException e) {
// TODO Auto-generated catch block
e.printStackTrace();
} catch (IOException e) {
// TODO Auto-generated catch block
e.printStackTrace();
} catch (ContradictionException e) {
// TODO Auto-generated catch block
e.printStackTrace();
log("UNSATISFIABLE","s ");
} catch (Exception e) {
log(e.getMessage());
}
} catch (ParseException exp) {
log("Unexpected exception:" + exp.getMessage());
......
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