Skip to content

Commit 66a921e

Browse files
committed
properties/can_reach: fix docstring and rename to can_reach/default
1 parent 04cedfb commit 66a921e

File tree

5 files changed

+1
-1
lines changed

5 files changed

+1
-1
lines changed

testsuite/tests/properties/can_reach/test.py renamed to testsuite/tests/properties/can_reach/default/test.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
"""
2-
Test the handling of analysis units in the properties DSL.
2+
Check that the "can_reach" expression works as expected.
33
"""
44

55
from langkit.dsl import ASTNode, T

0 commit comments

Comments
 (0)