Update dependencies

build.gradle

@@ -26,18 +26,23 @@ configurations.all {
 	resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
 }
 
-def parser_version = '2.15.2'
+def parser_version = '2.15.3-SNAPSHOT'
 
 dependencies {
-	//implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
+	//implementation(group: 'com.lamport', name: 'tla2tools', version: '1.8.0-SNAPSHOT')
 	implementation(group: 'commons-cli', name: 'commons-cli', version: '1.9.0')
 	implementation(group: 'de.hhu.stups', name: 'tlatools', version: '1.1.0')
 
 	implementation(group: 'de.hhu.stups', name: 'bparser', version: parser_version)
 	implementation(group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)
 
-	testImplementation(group: 'junit', name: 'junit', version: '4.13.2')
-	testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.4.1')
+	testImplementation(platform(group: 'org.junit', name: 'junit-bom', version: '5.13.2'))
+	testImplementation(group: 'org.junit.jupiter', name: 'junit-jupiter')
+	testImplementation(group: 'org.junit.jupiter', name: 'junit-jupiter-params')
+	testCompileOnly(group: 'junit', name: 'junit', version: '4.13.2')
+	testRuntimeOnly(group: 'org.junit.vintage', name: 'junit-vintage-engine')
+	testRuntimeOnly(group: 'org.junit.platform', name: 'junit-platform-launcher')
+	testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.4.2-SNAPSHOT')
 }
 
 java {
@@ -48,10 +53,9 @@ java {
 }
 
 jacoco {
-	toolVersion = "0.8.12"
+	toolVersion = "0.8.13"
 }
 
-
 jacocoTestReport {
 	reports {
 		xml.required = false
@@ -60,8 +64,13 @@ jacocoTestReport {
 	}
 }
 
-
 test {
+	useJUnitPlatform()
+
+	testLogging {
+		events 'passed', 'skipped', 'failed'
+	}
+
 	exclude('de/tlc4b/tlc/integration/probprivate')
 	exclude('testing')
 	//exclude('de/tlc4b/tlc/integration')