Commit 8f9449d1 authored by Daniel Le Berre's avatar Daniel Le Berre

Fix for sonarqube violation.

parent fa9ba0fe
...@@ -349,16 +349,11 @@ public class KTHLauncher { ...@@ -349,16 +349,11 @@ public class KTHLauncher {
System.out.println("s UNSATISFIABLE"); System.out.println("s UNSATISFIABLE");
} }
} catch (TimeoutException e) { } catch (TimeoutException e) {
System.out.println("s UNKNOWN"); 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) { } catch (ContradictionException e) {
// TODO Auto-generated catch block log("UNSATISFIABLE","s ");
e.printStackTrace(); } catch (Exception e) {
log(e.getMessage());
} }
} catch (ParseException exp) { } catch (ParseException exp) {
System.out.println("Unexpected exception:" + exp.getMessage()); System.out.println("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