cleanup

Fraunhofer-AISEC · May 13, 2024 · e39c670 · e39c670
1 parent afdc925
commit e39c670
Show file tree

Hide file tree

Showing 6 changed files with 2 additions and 92 deletions.
diff --git a/codyze-backends/cpg/src/test/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/SignatureTest.kt b/codyze-backends/cpg/src/test/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/SignatureTest.kt
@@ -35,7 +35,7 @@ class SignatureTest {
     val pairArgument = mockk<Literal<Pair<Int, String>>>()
 
     @AfterEach
-    fun clearMocks() {
+    fun clearMockks() {
         clearAllMocks()
     }
 

diff --git a/codyze-cli/config-custom-2.json b/codyze-cli/config-custom-2.json
diff --git a/codyze-cli/config-custom.json b/codyze-cli/config-custom.json
diff --git a/codyze-specification-languages/coko/coko-dsl/src/test/resources/kotlin/Test.kt b/codyze-specification-languages/coko/coko-dsl/src/test/resources/kotlin/Test.kt
diff --git a/codyze-specification-languages/coko/coko-dsl/src/test/resources/kotlin/altmodel.codyze.kts b/codyze-specification-languages/coko/coko-dsl/src/test/resources/kotlin/altmodel.codyze.kts
@@ -22,16 +22,6 @@ class TestModel {
 fun preventZeroKelvin(test: TestModel) =
     never(test.setKelvin(0))
 
-
-/*
-@Rule("Must call kelvin before celsius")
-fun forceKelvinBeforeCelsius(test: TestModel) =
-    order(test::getCelsius) {
-        - some(test::setKelvin)
-        - test::getCelsius
-    }
-*/
-
 @Rule("Must call kelvin before celsius")
 fun forceKelvinBeforeCelsius(test: TestModel) =
     test.setKelvin(Wildcard) precedes test.getCelsius()

diff --git a/codyze-specification-languages/coko/coko-dsl/src/test/resources/kotlin/model.codyze.kts b/codyze-specification-languages/coko/coko-dsl/src/test/resources/kotlin/model.codyze.kts
@@ -21,4 +21,4 @@ fun forceKelvinBeforeCelsius(kelv: SetKelvin, cels: SetCelsius, call: Call) =
     order(call.call()) {
         - some(kelv::kelvin)
         - maybe(cels::celsius)
-    }
+    }