Skip to content

Commit 1223b18

Browse files
committed
Add todo for a fluky test
1 parent dd67fdc commit 1223b18

File tree

1 file changed

+2
-0
lines changed
  • usvm-ts/src/test/kotlin/org/usvm/samples/operators

1 file changed

+2
-0
lines changed

usvm-ts/src/test/kotlin/org/usvm/samples/operators/Add.kt

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -81,6 +81,8 @@ class Add : TsMethodTestRunner() {
8181
discoverProperties<TsTestValue, TsTestValue, TsTestValue.TsNumber>(
8282
method = method,
8383
{ a, b, r -> a is TsTestValue.TsUndefined || b is TsTestValue.TsUndefined && r.number.isNaN() },
84+
// This condition sometimes fails, in case `bool` + `null`
85+
// TODO https://github.com/UnitTestBot/usvm/issues/310
8486
{ a, b, r ->
8587
(a is TsTestValue.TsClass
8688
|| b is TsTestValue.TsClass

0 commit comments

Comments
 (0)