Skip to content

Commit

Permalink
lint-fix: handle linter errors
Browse files Browse the repository at this point in the history
  • Loading branch information
EagleoutIce committed Jan 2, 2025
1 parent 69f0ad2 commit 822dc80
Showing 1 changed file with 26 additions and 26 deletions.
52 changes: 26 additions & 26 deletions test/functionality/slicing/pointer-analysis/list-access.test.ts
Original file line number Diff line number Diff line change
Expand Up @@ -134,46 +134,46 @@ print(person$age)`,
['4@print'],
`person <- list(age = 24)
if(u) person$age <- 33
print(person$age)`)
assertSliced(label('Potential wipe', basicCapabilities),
shell,
`person <- list(age = 24)
print(person$age)`);
assertSliced(label('Potential wipe', basicCapabilities),
shell,
`person <- list(age = 24)
if(u) {
person$age <- 33
} else {
person$age <- 42
person <- list()
}
print(person$age)`,
['8@print'],
`person <- list(age = 24)
['8@print'],
`person <- list(age = 24)
if(u) { person$age <- 33 } else
{ person <- list() }
print(person$age)`)
assertSliced(label('Potential addition in nesting', basicCapabilities),
shell,
`person <- list(age = 24)
print(person$age)`);
assertSliced(label('Potential addition in nesting', basicCapabilities),
shell,
`person <- list(age = 24)
if(u) person$name <- "peter"
wrapper <- list(person = person)
print(wrapper$person$name)`,
['4@print'],
`person <- list(age = 24)
['4@print'],
`person <- list(age = 24)
if(u) person$name <- "peter"
wrapper <- list(person = person)
print(wrapper$person$name)`);
it.fails('Currently we can not handle the indirect passing minimally and include the name line', () => {
assertSliced(label('Potential addition in nesting (not needed)', basicCapabilities),
shell,
`person <- list(age = 24)
if(u) person$name <- "peter"
wrapper <- list(person = person)
print(wrapper$person$name)`)
it.fails('Currently we can not handle the indirect passing minimally and include the name line', () => {
assertSliced(label('Potential addition in nesting (not needed)', basicCapabilities),
shell,
`person <- list(age = 24)
if(u) person$name <- "peter"
wrapper <- list(person = person)
print(wrapper$person$age)`,
['4@print'],
`person <- list(age = 24)
wrapper <- list(person = person)
print(wrapper$person$age)`)
})
})
print(wrapper$person$age)`,
['4@print'],
`person <- list(age = 24)
wrapper <- list(person = person)
print(wrapper$person$age)`);
});
});
});

describe('Nested lists', () => {
Expand Down

0 comments on commit 822dc80

Please sign in to comment.