Commit c3d4755f authored by Simone Vuotto's avatar Simone Vuotto

Update dependency

parent 8e3cede2
......@@ -31,7 +31,7 @@ dependencies {
compile("io.springfox:springfox-swagger2:2.8.0")
compile("io.springfox:springfox-swagger-ui:2.8.0")
compile("io.jsonwebtoken:jjwt:0.7.0")
compile project(':snl2fl')
compile project(':SpecPro')
runtime('org.postgresql:postgresql')
testCompile('org.springframework.boot:spring-boot-starter-test')
testCompile('org.apache.httpcomponents:httpclient:4.5.3')
......
rootProject.name = 'ReqV'
include 'snl2fl'
\ No newline at end of file
include 'SpecPro'
\ No newline at end of file
package it.unige.ReqV.engine;
import it.sagelab.consistency.ConsistencyChecker;
import it.sagelab.consistency.InconsistencyFinder;
import it.sagelab.fe.snl2fl.Snl2FlException;
import it.sagelab.fe.snl2fl.Snl2FlParser;
import it.sagelab.reasoners.NuSMV;
import it.sagelab.reasoners.translators.nusmv.NuSMVTranslator;
import it.unige.ReqV.projects.tasks.Task;
import it.unige.ReqV.projects.tasks.TaskRepository;
import it.unige.ReqV.requirements.Requirement;
import rcc.ConsistencyChecker;
import rcc.InconsistencyFinder;
import rcc.mc.NuSMV;
import snl2fl.Snl2FlException;
import snl2fl.Snl2FlParser;
import snl2fl.ltl.nusmv.NuSMVTranslator;
import java.io.ByteArrayOutputStream;
import java.io.File;
......@@ -104,7 +105,7 @@ public class Snl2FlEngine implements ProjectEngine {
runningTask.appendLog("\n\n##################################################################");
runningTask.appendLog("Minimum Unsatisfiable core of " + inconsistentReqs.size() + " requirements found:");
for(snl2fl.req.requirements.Requirement r : inconsistentReqs)
for(it.sagelab.models.psp.Requirement r : inconsistentReqs)
runningTask.appendLog(r.getText());
runningTask.setStatus(Task.Status.SUCCESS);
......
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