Commit 6ce76619 authored by Blomme Anthony's avatar Blomme Anthony
Browse files

handling other file formats

parent c19d473a
Pipeline #15925 passed with stages
in 42 minutes and 42 seconds
......@@ -18,12 +18,20 @@ public class VERIPBSearchListener implements PBSearchListener<ISolverService> {
private StringBuilder conflict;
private StringBuilder reason;
private final String filename;
private String filename;
private int nConstraints;
private boolean foundContradiction;
public VERIPBSearchListener(String problemname) {
this.filename = problemname.replace(".opb", ".pbp");
int positionDot;
if (!(problemname.endsWith(".opb"))) {
positionDot = problemname.lastIndexOf('.');
this.filename = problemname.substring(0, positionDot);
} else {
this.filename = problemname;
assert this.filename.endsWith(".opb");
this.filename = this.filename.replace(".opb", ".pbp");
File f = new File(filename);
if (f.exists()) {
Supports Markdown
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