Commit e1bc83d7 authored by Simone Vuotto's avatar Simone Vuotto

Merge branch 'master' of github.com:SimoV8/ReqV-backend

parents 739a9aa3 c3d4755f
SpecPro @ 3c573ce6
Subproject commit 3c573ce6d854c252fd18fc2400d3f409cadd12a9
[submodule "snl2fl"]
path = snl2fl
url = https://github.com/SAGE-Lab/snl2fl.git
branch = dev
[submodule "SpecPro"]
path = SpecPro
url = https://github.com/SimoV8/SpecPro.git
......@@ -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