Commit f0fa5bb9 authored by Sarah Grebing's avatar Sarah Grebing
Browse files

fm Version 1.0.2c fixed minor

parent 27180e04
Pipeline #18177 failed with stages
in 115 minutes and 28 seconds
......@@ -197,7 +197,11 @@ public class PrettyPrinter extends DefaultASTVisitor<Void> {
@Override
public Void visit(TermLiteral termLiteral) {
s.append(String.format("`%s`", termLiteral.getText()));
String termLit = termLiteral.getText();
if (termLit.contains("\n")) {
termLit = termLit.trim();
}
s.append(String.format("`%s`", termLit));
return super.visit(termLiteral);
}
......
......@@ -39,7 +39,7 @@ import lombok.Setter;
@RequiredArgsConstructor
@AllArgsConstructor
public abstract class CaseStatement extends Statement<ScriptLanguageParser.CasesListContext> {
protected Statements body;
protected Statements body = new Statements();
/**
* {@inheritDoc}
......
......@@ -176,7 +176,7 @@ public class InteractiveModeController {
LOGGER.debug("Handling {}", tap);
moreThanOneMatch = false;
String tapName = tap.getApp().taclet().name().toString();
String tapName = tap.getApp().taclet().displayName();
Goal g = tap.getCurrentGoal();
SequentFormula seqForm = tap.getPio().sequentFormula();
......
......@@ -208,8 +208,8 @@ interactive rule applications.
<h2>Downloads</h2>
<ul>
<li>PSDBG - <strong>Version 1.0.2a-FM</strong>
<a href="../psdbg_releases/psdbg-1.0.2a-fm.jar">psdbg-1.0.2a-fm.jar</a>
<li>PSDBG - <strong>Version 1.0.2c-FM</strong>
<a href="../psdbg_releases/psdbg-1.0.2c-fm.jar">psdbg-1.0.2c-fm.jar</a>
<br>
Special Version for the tool paper at Formal Methods 2018.
Including examples and all dependencies.
......@@ -219,7 +219,7 @@ interactive rule applications.
<a href="https://www.gnu.org/licenses/gpl-3.0.txt">License: GPLv3</a>
<a href="thirdparty.txt">Third Party Licenses</a>
<br>
Executable with <code>java -jar psdbg-1.0.2a-fm.jar</code>
Executable with <code>java -jar psdbg-1.0.2c-fm.jar</code>
</li>
</ul>
......
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