removes .check files

bmw-software-engineering · Oct 21, 2024 · 989b83b · 989b83b
1 parent 0f48dbe
commit 989b83b
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 7 deletions.
diff --git a/tests-integration/projects/basic/Makefile b/tests-integration/projects/basic/Makefile
@@ -36,8 +36,8 @@ pycode.lobster: nor.py
 		--out="pycode.lobster" \
 		--parse-decorator trlc_reference requirement
 
-software-requirements.lobster: potato.rsl potato.check potato.trlc
-	@lobster-trlc *.rsl *.check *.trlc \
+software-requirements.lobster: potato.rsl potato.trlc
+	@lobster-trlc *.rsl *.trlc \
 		--out="software-requirements.lobster"
 
 json.lobster: example.json

diff --git a/tests-integration/projects/basic/potato.check b/tests-integration/projects/basic/potato.check
diff --git a/tests-integration/projects/basic/potato.rsl b/tests-integration/projects/basic/potato.rsl
@@ -28,3 +28,7 @@ type Linked_Requirement extends Requirement
 {
   trace_trlc optional Requirement [1 .. *]
 }
+
+checks Requirement {
+   len(text) >= 10, warning "this is a bit short", text
+}