Skip to content

Commit a92295a

Browse files
committed
Revert learnlib-api inclusion and update to latest PSF
1 parent b27e6f5 commit a92295a

2 files changed

Lines changed: 1 addition & 6 deletions

File tree

install.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ readonly SCRIPT_DIR
88
readonly PATCHES_DIR="$SCRIPT_DIR/experiments/patches"
99

1010

11-
readonly PROTOCOLSTATEFUZZER_COMMIT="2ce4e392"
11+
readonly PROTOCOLSTATEFUZZER_COMMIT="2b4e441"
1212
readonly PROTOCOLSTATEFUZZER_REP_URL="https://github.com/protocol-fuzzing/protocol-state-fuzzer.git"
1313
readonly PROTOCOLSTATEFUZZER_FOLDER="ProtocolState-Fuzzer"
1414

pom.xml

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -83,11 +83,6 @@
8383
</dependencyManagement>
8484

8585
<dependencies>
86-
<dependency>
87-
<groupId>de.learnlib</groupId>
88-
<artifactId>learnlib-api</artifactId>
89-
<version>${learnlib.version}</version>
90-
</dependency>
9186
<dependency>
9287
<groupId>com.github.protocolfuzzing</groupId>
9388
<artifactId>protocolstatefuzzer</artifactId>

0 commit comments

Comments
 (0)