1
61%
main: 69%

Ran 01 Sep 2024 11:21PM UTC

Files 40

Run time 1s

Badge

Embed ▾

Committed 01 Sep 2024 11:08PM UTC coverage: 60.819% (+0.01%) from 60.806%

Job # 10658163919.1

Build Type

Pull #54

github

Committed by

ronenh

Commit Message

Fix GetGraph bug

This fixes a model-inversion bug. Given:
```yaml
folder:
  relations:
    owner: user
  permissions:
    is_owner: owner | parent->is_owner

doc:
  relations:
    parent: folder
    viewer: user | user:* | group#member
  permissions:
    can_view: viewer | parent->owner
```

The `can_view` premission isn't inverted correctly.
A `group#member` can have the `can_view` permission, but only
through the first term (`viewer`) because `parent-owner` can only
be a `user`.
The problem is that the inversion logic attempts to create the inversion
of `parent->owner` on `group`
(i.e. `group#doc^can_view#member: doc_viewer#member | doc_owner#doc_parent`)
But `group` has no `doc_owner` relation because `group#member` isn't assignable
to`folder#owner`.

Pull Request Pull Request #54: Fix GetGraph bug

Run Details

2808 of 4617 relevant lines covered (60.82%)

0.68 hits per line

aserto-dev / azm / 10658163919 / 1
61%
main: 69%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10658163919.1

aserto-dev / azm / 10658163919 / 1 61% main: 69%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10658163919.1

aserto-dev / azm / 10658163919 / 1
61%
main: 69%

README BADGES
x