feat-fix(alias): make simple case work (#1106) #2893
gigalasrqa.yaml
on: push
🔍 Debug
11s
👩🏫 Linting (local)
1m 14s
Matrix: ⏱️ Performance Test
📦 Prerelease
0s
⬆️ Upload Performance Test Results
0s
🚀 Build and Deploy Documentation (only on main)
0s
Annotations
4 errors
|
test/functionality/slicing/static-program-slices/alias-tracking.test.ts > Alias Tracking > Simple Builtin Multiple:
test/functionality/slicing/static-program-slices/alias-tracking.test.ts#L34
AssertionError: expected [ true ] to deeply equal [ true, false ]
- Expected
+ Received
Array [
true,
- false,
]
❯ test/functionality/slicing/static-program-slices/alias-tracking.test.ts:34:18
|
|
test/functionality/slicing/static-program-slices/control-flow.test.ts > Control flow > Alias Tracking > ["7@y"] useless branch with alias [control-flow, built-in, if]:
test/functionality/_helper/shell.ts#L375
AssertionError: got: x <- TRUE
y <- TRUE
if(x) { y <- FALSE }
y, vs. expected: x <- TRUE
if(x) { y <- FALSE }
y, for input
x <- TRUE
y <- TRUE
if(x) {
y <- FALSE
}
print(y) (slice for ["7@y"]: 15: "y"), url: https://mermaid.live/view#base64:eyJjb2RlIjoiZmxvd2NoYXJ0IFREXG4gICAgMXt7XCJgIzkxO1JMb2dpY2FsIzkzOyBUUlVFXG4gICAgICAoMSlcbiAgICAgICoyLjYtOSpgXCJ9fVxuICAgIHN0eWxlIDEgc3Ryb2tlOnRlYWwsc3Ryb2tlLXdpZHRoOjdweCxzdHJva2Utb3BhY2l0eTouODsgXG4gICAgMFtcImAjOTE7UlN5bWJvbCM5MzsgeFxuICAgICAgKDApXG4gICAgICAqMi4xKmBcIl1cbiAgICBzdHlsZSAwIHN0cm9rZTp0ZWFsLHN0cm9rZS13aWR0aDo3cHgsc3Ryb2tlLW9wYWNpdHk6Ljg7IFxuICAgIDJbW1wiYCM5MTtSQmluYXJ5T3AjOTM7ICM2MDsjNDU7XG4gICAgICAoMilcbiAgICAgICoyLjEtOSpcbiAgICAoMCwgMSlgXCJdXVxuICAgIHN0eWxlIDIgc3Ryb2tlOnRlYWwsc3Ryb2tlLXdpZHRoOjdweCxzdHJva2Utb3BhY2l0eTouODsgXG4gICAgNHt7XCJgIzkxO1JMb2dpY2FsIzkzOyBUUlVFXG4gICAgICAoNClcbiAgICAgICozLjYtOSpgXCJ9fVxuICAgIHN0eWxlIDQgc3Ryb2tlOnRlYWwsc3Ryb2tlLXdpZHRoOjdweCxzdHJva2Utb3BhY2l0eTouODsgXG4gICAgM1tcImAjOTE7UlN5bWJvbCM5MzsgeVxuICAgICAgKDMpXG4gICAgICAqMy4xKmBcIl1cbiAgICBzdHlsZSAzIHN0cm9rZTp0ZWFsLHN0cm9rZS13aWR0aDo3cHgsc3Ryb2tlLW9wYWNpdHk6Ljg7IFxuICAgIDVbW1wiYCM5MTtSQmluYXJ5T3AjOTM7ICM2MDsjNDU7XG4gICAgICAoNSlcbiAgICAgICozLjEtOSpcbiAgICAoMywgNClgXCJdXVxuICAgIHN0eWxlIDUgc3Ryb2tlOnRlYWwsc3Ryb2tlLXdpZHRoOjdweCxzdHJva2Utb3BhY2l0eTouODsgXG4gICAgNihbXCJgIzkxO1JTeW1ib2wjOTM7IHhcbiAgICAgICg2KVxuICAgICAgKjQuNCpgXCJdKVxuICAgIHN0eWxlIDYgc3Ryb2tlOnRlYWwsc3Ryb2tlLXdpZHRoOjdweCxzdHJva2Utb3BhY2l0eTouODsgXG4gICAgMTB7e1wiYCM5MTtSTG9naWNhbCM5MzsgRkFMU0VcbiAgICAgICgxMClcbiAgICAgICo1LjktMTMqYFwifX1cbiAgICBzdHlsZSAxMCBzdHJva2U6dGVhbCxzdHJva2Utd2lkdGg6N3B4LHN0cm9rZS1vcGFjaXR5Oi44OyBcbiAgICA5W1wiYCM5MTtSU3ltYm9sIzkzOyB5XG4gICAgICAoOSwgOm1heToxMyspXG4gICAgICAqNS40KmBcIl1cbiAgICBzdHlsZSA5IHN0cm9rZTp0ZWFsLHN0cm9rZS13aWR0aDo3cHgsc3Ryb2tlLW9wYWNpdHk6Ljg7IFxuICAgIDExW1tcImAjOTE7UkJpbmFyeU9wIzkzOyAjNjA7IzQ1O1xuICAgICAgKDExLCA6bWF5OjEzKylcbiAgICAgICo1LjQtMTMqXG4gICAgKDksIDEwKWBcIl1dXG4gICAgc3R5bGUgMTEgc3Ryb2tlOnRlYWwsc3Ryb2tlLXdpZHRoOjdweCxzdHJva2Utb3BhY2l0eTouODsgXG4gICAgMTJbW1wiYCM5MTtSRXhwcmVzc2lvbkxpc3QjOTM7ICMxMjM7XG4gICAgICAoMTIsIDptYXk6MTMrKVxuICAgICAgKjQuNypcbiAgICAoMTEpYFwiXV1cbiAgICBzdHlsZSAxMiBzdHJva2U6dGVhbCxzdHJva2Utd2lkdGg6N3B4LHN0cm9rZS1vcGFjaXR5Oi44OyBcbiAgICAxM1tbXCJgIzkxO1JJZlRoZW5FbHNlIzkzOyBpZlxuICAgICAgKDEzKVxuICAgICAgKjQuMS02LjEqXG4gICAgKDYsIDEyLCBbZW1wdHldKWBcIl1dXG4gICAgc3R5bGUgMTMgc3Ryb2tlOnRlYWwsc3Ryb2tlLXdpZHRoOjdweCxzdHJva2Utb3BhY2l0eTouODsgXG4gICAgMTUoW1wiYCM5MTtSU3ltYm9sIzkzOyB5XG4gICAgICAoMTUpXG4gICAgICAqNy43KmBcIl0pXG4gICAgc3R5bGUgMTUgc3Ryb2tlOnRlYWwsc3Ryb2tlLXdpZHRoOjdweCxzdHJva2Utb3BhY2l0eTouODsgXG4gICAgMTdbW1wiYCM5MTtSRnVuY3Rpb25DYWxsIzkzOyBwcmludFxuICAgICAgKDE3KVxuICAgICAgKjcuMS04KlxuICAgICgxNSlgXCJdXVxuICAgIDAgLS0+fFwiZGVmaW5lZC1ieVwifCAxXG4gICAgMCAtLT58XCJkZWZpbmVkLWJ5XCJ8IDJcbiAgICAyIC0tPnxcImFyZ3VtZW50XCJ8IDFcbiAgICAyIC0tPnxcInJldHVybnMsIGFyZ3VtZW50XCJ8IDBcbiAgICAzIC0tPnxcImRlZmluZWQtYnlcInwgNFxuICAgIDMgLS0+fFwiZGVmaW5lZC1ieVwifCA1XG4gICAgNSAtLT58XCJhcmd1bWVudFwifCA0XG4gICAgNSAtLT58XCJyZXR1cm5zLCBhcmd1bWVudFwifCAzXG4gICAgNiAtLT58XCJyZWFkc1wifCAwXG4gICAgOSAtLT58XCJkZWZpbmVkLWJ5XCJ8IDEwXG4gICAgOSAtLT58XCJkZWZpbmVkLWJ5XCJ8IDExXG4gICAgOSAtLT58XCJDRC1UcnVlXCJ8IDEzXG4gICAgbGlua1N0eWxlIDExIHN0cm9rZTpncmF5LGNvbG9yOmdyYXk7XG4gICAgMTEgLS0+fFwiYXJndW1lbnRcInwgMTBcbiAgICAxMSAtLT58XCJyZXR1cm5zLCBhcmd1bWVudFwifCA5XG4gICAgMTEgLS0+fFwiQ0QtVHJ1ZVwifCAxM1xuICAgIGxpbmtTdHlsZSAxNCBzdHJva2U6Z3JheSxjb2xvcjpncmF5O1xuICAgIDEyIC0tPnxcInJldHVybnMsIGFyZ3VtZW50XCJ8IDExXG4gICAgMTIgLS0+fFwiQ0QtVHJ1ZVwifCAxM1xuICAgIGxpbmtTdHlsZSAxNiBzdHJva2U6Z3JheSxjb2xvcjpncmF5O1xuICAgIDEzIC0tPnxcInJldHVybnMsIGFyZ3VtZW50XCJ8IDEyXG4gICAgMTMgLS0+fFwicmVhZHMsIGFyZ3VtZW50XCJ8IDZcbiAgICAxNSAtLT58XCJyZWFkc1wifCA5XG4gICAgMTUgLS0+fFwicmVhZHNcInwgM1xuICAgIDE3IC0tPnxcInJlYWRzLCByZXR1cm5zLCBhcmd1bWVudFwifCAxNSIsIm1lcm1haWQiOnsiYXV0b1N5bmMiOnRydWV9fQ==: expected 'x <- TRUE\ny <- TRUE\nif(x) { y <- FA…' to equal 'x <- TRUE\nif(x) { y <- FALSE }\ny'
- Expected
+ Received
x <- TRUE
+ y <- TRUE
if(x) { y <- FALSE }
y
❯ test/functionality/_helper/shell.ts:375:11
|
|
test/functionality/slicing/static-program-slices/control-flow.test.ts > Control flow > Alias Tracking > ["7@y"] useless branch with alias || [control-flow, built-in, if]:
test/functionality/_helper/shell.ts#L375
AssertionError: got: x <- FALSE
y <- TRUE
if(x) { y <- FALSE }
y, vs. expected: y <- TRUE
y, for input
x <- FALSE
y <- TRUE
if(x) {
y <- FALSE
}
print(y) (slice for ["7@y"]: 15: "y"), url: https://mermaid.live/view#base64:eyJjb2RlIjoiZmxvd2NoYXJ0IFREXG4gICAgMXt7XCJgIzkxO1JMb2dpY2FsIzkzOyBGQUxTRVxuICAgICAgKDEpXG4gICAgICAqMi42LTEwKmBcIn19XG4gICAgc3R5bGUgMSBzdHJva2U6dGVhbCxzdHJva2Utd2lkdGg6N3B4LHN0cm9rZS1vcGFjaXR5Oi44OyBcbiAgICAwW1wiYCM5MTtSU3ltYm9sIzkzOyB4XG4gICAgICAoMClcbiAgICAgICoyLjEqYFwiXVxuICAgIHN0eWxlIDAgc3Ryb2tlOnRlYWwsc3Ryb2tlLXdpZHRoOjdweCxzdHJva2Utb3BhY2l0eTouODsgXG4gICAgMltbXCJgIzkxO1JCaW5hcnlPcCM5MzsgIzYwOyM0NTtcbiAgICAgICgyKVxuICAgICAgKjIuMS0xMCpcbiAgICAoMCwgMSlgXCJdXVxuICAgIHN0eWxlIDIgc3Ryb2tlOnRlYWwsc3Ryb2tlLXdpZHRoOjdweCxzdHJva2Utb3BhY2l0eTouODsgXG4gICAgNHt7XCJgIzkxO1JMb2dpY2FsIzkzOyBUUlVFXG4gICAgICAoNClcbiAgICAgICozLjYtOSpgXCJ9fVxuICAgIHN0eWxlIDQgc3Ryb2tlOnRlYWwsc3Ryb2tlLXdpZHRoOjdweCxzdHJva2Utb3BhY2l0eTouODsgXG4gICAgM1tcImAjOTE7UlN5bWJvbCM5MzsgeVxuICAgICAgKDMpXG4gICAgICAqMy4xKmBcIl1cbiAgICBzdHlsZSAzIHN0cm9rZTp0ZWFsLHN0cm9rZS13aWR0aDo3cHgsc3Ryb2tlLW9wYWNpdHk6Ljg7IFxuICAgIDVbW1wiYCM5MTtSQmluYXJ5T3AjOTM7ICM2MDsjNDU7XG4gICAgICAoNSlcbiAgICAgICozLjEtOSpcbiAgICAoMywgNClgXCJdXVxuICAgIHN0eWxlIDUgc3Ryb2tlOnRlYWwsc3Ryb2tlLXdpZHRoOjdweCxzdHJva2Utb3BhY2l0eTouODsgXG4gICAgNihbXCJgIzkxO1JTeW1ib2wjOTM7IHhcbiAgICAgICg2KVxuICAgICAgKjQuNCpgXCJdKVxuICAgIHN0eWxlIDYgc3Ryb2tlOnRlYWwsc3Ryb2tlLXdpZHRoOjdweCxzdHJva2Utb3BhY2l0eTouODsgXG4gICAgMTB7e1wiYCM5MTtSTG9naWNhbCM5MzsgRkFMU0VcbiAgICAgICgxMClcbiAgICAgICo1LjktMTMqYFwifX1cbiAgICBzdHlsZSAxMCBzdHJva2U6dGVhbCxzdHJva2Utd2lkdGg6N3B4LHN0cm9rZS1vcGFjaXR5Oi44OyBcbiAgICA5W1wiYCM5MTtSU3ltYm9sIzkzOyB5XG4gICAgICAoOSwgOm1heToxMyspXG4gICAgICAqNS40KmBcIl1cbiAgICBzdHlsZSA5IHN0cm9rZTp0ZWFsLHN0cm9rZS13aWR0aDo3cHgsc3Ryb2tlLW9wYWNpdHk6Ljg7IFxuICAgIDExW1tcImAjOTE7UkJpbmFyeU9wIzkzOyAjNjA7IzQ1O1xuICAgICAgKDExLCA6bWF5OjEzKylcbiAgICAgICo1LjQtMTMqXG4gICAgKDksIDEwKWBcIl1dXG4gICAgc3R5bGUgMTEgc3Ryb2tlOnRlYWwsc3Ryb2tlLXdpZHRoOjdweCxzdHJva2Utb3BhY2l0eTouODsgXG4gICAgMTJbW1wiYCM5MTtSRXhwcmVzc2lvbkxpc3QjOTM7ICMxMjM7XG4gICAgICAoMTIsIDptYXk6MTMrKVxuICAgICAgKjQuNypcbiAgICAoMTEpYFwiXV1cbiAgICBzdHlsZSAxMiBzdHJva2U6dGVhbCxzdHJva2Utd2lkdGg6N3B4LHN0cm9rZS1vcGFjaXR5Oi44OyBcbiAgICAxM1tbXCJgIzkxO1JJZlRoZW5FbHNlIzkzOyBpZlxuICAgICAgKDEzKVxuICAgICAgKjQuMS02LjEqXG4gICAgKDYsIDEyLCBbZW1wdHldKWBcIl1dXG4gICAgc3R5bGUgMTMgc3Ryb2tlOnRlYWwsc3Ryb2tlLXdpZHRoOjdweCxzdHJva2Utb3BhY2l0eTouODsgXG4gICAgMTUoW1wiYCM5MTtSU3ltYm9sIzkzOyB5XG4gICAgICAoMTUpXG4gICAgICAqNy43KmBcIl0pXG4gICAgc3R5bGUgMTUgc3Ryb2tlOnRlYWwsc3Ryb2tlLXdpZHRoOjdweCxzdHJva2Utb3BhY2l0eTouODsgXG4gICAgMTdbW1wiYCM5MTtSRnVuY3Rpb25DYWxsIzkzOyBwcmludFxuICAgICAgKDE3KVxuICAgICAgKjcuMS04KlxuICAgICgxNSlgXCJdXVxuICAgIDAgLS0+fFwiZGVmaW5lZC1ieVwifCAxXG4gICAgMCAtLT58XCJkZWZpbmVkLWJ5XCJ8IDJcbiAgICAyIC0tPnxcImFyZ3VtZW50XCJ8IDFcbiAgICAyIC0tPnxcInJldHVybnMsIGFyZ3VtZW50XCJ8IDBcbiAgICAzIC0tPnxcImRlZmluZWQtYnlcInwgNFxuICAgIDMgLS0+fFwiZGVmaW5lZC1ieVwifCA1XG4gICAgNSAtLT58XCJhcmd1bWVudFwifCA0XG4gICAgNSAtLT58XCJyZXR1cm5zLCBhcmd1bWVudFwifCAzXG4gICAgNiAtLT58XCJyZWFkc1wifCAwXG4gICAgOSAtLT58XCJkZWZpbmVkLWJ5XCJ8IDEwXG4gICAgOSAtLT58XCJkZWZpbmVkLWJ5XCJ8IDExXG4gICAgOSAtLT58XCJDRC1UcnVlXCJ8IDEzXG4gICAgbGlua1N0eWxlIDExIHN0cm9rZTpncmF5LGNvbG9yOmdyYXk7XG4gICAgMTEgLS0+fFwiYXJndW1lbnRcInwgMTBcbiAgICAxMSAtLT58XCJyZXR1cm5zLCBhcmd1bWVudFwifCA5XG4gICAgMTEgLS0+fFwiQ0QtVHJ1ZVwifCAxM1xuICAgIGxpbmtTdHlsZSAxNCBzdHJva2U6Z3JheSxjb2xvcjpncmF5O1xuICAgIDEyIC0tPnxcInJldHVybnMsIGFyZ3VtZW50XCJ8IDExXG4gICAgMTIgLS0+fFwiQ0QtVHJ1ZVwifCAxM1xuICAgIGxpbmtTdHlsZSAxNiBzdHJva2U6Z3JheSxjb2xvcjpncmF5O1xuICAgIDEzIC0tPnxcInJldHVybnMsIGFyZ3VtZW50XCJ8IDEyXG4gICAgMTMgLS0+fFwicmVhZHMsIGFyZ3VtZW50XCJ8IDZcbiAgICAxNSAtLT58XCJyZWFkc1wifCA5XG4gICAgMTUgLS0+fFwicmVhZHNcInwgM1xuICAgIDE3IC0tPnxcInJlYWRzLCByZXR1cm5zLCBhcmd1bWVudFwifCAxNSIsIm1lcm1haWQiOnsiYXV0b1N5bmMiOnRydWV9fQ==: expected 'x <- FALSE\ny <- TRUE\nif(x) { y <- F…' to equal 'y <- TRUE\ny'
- Expected
+ Received
- y <- TRUE
+ x <- FALSE
+ y <- TRUE
+ if(x) { y <- FALSE }
y
❯ test/functionality/_helper/shell.ts:375:11
|
|
⚗️ Test Suite (coverage)
Process completed with exit code 1.
|