Commit 32c3a995 authored by Alexander Weigl's avatar Alexander Weigl

Repair test cases

parent d1c3fb76
......@@ -27,6 +27,13 @@ subprojects {
maven { url "https://oss.sonatype.org/content/repositories/snapshots/" }
}
task printClasspath {
doLast {// sourceSets.test.runtimeClasspath.
sourceSets.test.runtimeClasspath.each {println it}
}
}
dependencies {
compile group: 'commons-cli', name: 'commons-cli', version: '1.4'
......
Subproject commit fb865a833c618c3a24dddfe08b2e05d76b7a450e
......@@ -10,12 +10,12 @@ package edu.kit.iti.formal.psdbg.parser.ast;
* it under the terms of the GNU General Public License as
* published by the Free Software Foundation, either version 3 of the
* License, or (at your option) any later version.
*
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
*
* You should have received a copy of the GNU General Public
* License along with this program. If not, see
* <http://www.gnu.org/licenses/gpl-3.0.html>.
......@@ -58,11 +58,20 @@ public class Position implements Copyable<Position> {
token.getCharPositionInLine());
}
/**
* Determines the starts position from the given {@link ParserRuleContext}.
*
* @param token
* @return null if the given token is null.
*/
public static Position start(ParserRuleContext token) {
if (token == null)
return null;
return start(token.start);
}
public static Position end(ParserRuleContext token) {
if (token == null) return null;
return end(token.stop);
}
......
edu.kit.iti.formal.psdbg.interpreter.functions.FindInSequence
\ No newline at end of file
......@@ -3,7 +3,7 @@ foreach { theonly {
cases {
case x = y :{
print a 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 22 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2;
print (1+2)*(3+2)/4 & match `f(x)` using [x:any];
print (1+2)*(3+2)/4 & match `f(x)` using [x:BOOL];
}
default :{
......
......@@ -25,7 +25,6 @@ import java.util.function.Function;
@Builder
public class KeyMatcherFacade {
private static Logger logger = LogManager.getLogger(KeyMatcherFacade.class);
private final DefaultTermParser dtp = new DefaultTermParser();
private final KeYEnvironment environment;
private final Sequent sequent;
......
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