Closed christophkloeffel closed 1 week ago
example nor.py file:
class Example: @trlc_reference(requirement="example.req_nor") def helper_function(a, b): # potato return a or b def nor(a, b): # lobster-trace: example.req_nor assert isinstance(a, bool) assert isinstance(b, bool) return not helper_function(a, b)
result in lobster.report:
... "ref_down": [ "req example.req_important", "python nor.Example", "python nor.Example-1" ], ...
expected:
... "ref_down": [ "req example.req_important", "python nor.Example.helper_function", "python nor.Example.nor" ], ...
Most likely this bug has been introduced with https://github.com/bmw-software-engineering/lobster/pull/39 or https://github.com/bmw-software-engineering/lobster/pull/67.
example nor.py file:
result in lobster.report:
expected: