[TS] Bug with add operator

オープン
#310 コメント 0 件 リアクション 1 件 担当者 1 名 GitHub で見る

@CaelmBleidd がすでに取り組んでいます。

2025年7月11日 から。

評価

この issue はまだ評価されていません。

説明

Sometimes there is a bug with bool + ref sorts inside of the add operator, 6% of tests maybe.

The issue is that this construction is prohibites, so current implementation is not correct. We need to fix it.

Failed run:

[INFO] TestRunnerKt - 5 executions were found:
	TsTest(method=Add::addUnknownValues(a: unknown, b: unknown): number, before=TsParametersState(thisInstance=TsClass(name=Add, properties={}), parameters=[TsUndefined, TsDouble(value=0.0)], globals={}), after=TsParametersState(thisInstance=TsClass(name=Add, properties={}), parameters=[TsUndefined, TsDouble(value=0.0)], globals={}), returnValue=TsDouble(value=NaN), trace=[])
	TsTest(method=Add::addUnknownValues(a: unknown, b: unknown): number, before=TsParametersState(thisInstance=TsClass(name=Add, properties={}), parameters=[TsBoolean(value=true), TsNull], globals={}), after=TsParametersState(thisInstance=TsClass(name=Add, properties={}), parameters=[TsBoolean(value=true), TsNull], globals={}), returnValue=TsDouble(value=NaN), trace=[])
	TsTest(method=Add::addUnknownValues(a: unknown, b: unknown): number, before=TsParametersState(thisInstance=TsClass(name=Add, properties={}), parameters=[TsNull, TsDouble(value=7.0)], globals={}), after=TsParametersState(thisInstance=TsClass(name=Add, properties={}), parameters=[TsNull, TsDouble(value=7.0)], globals={}), returnValue=TsDouble(value=7.0), trace=[])
	TsTest(method=Add::addUnknownValues(a: unknown, b: unknown): number, before=TsParametersState(thisInstance=TsClass(name=Add, properties={}), parameters=[TsNull, TsNull], globals={}), after=TsParametersState(thisInstance=TsClass(name=Add, properties={}), parameters=[TsNull, TsNull], globals={}), returnValue=TsDouble(value=0.0), trace=[])
	TsTest(method=Add::addUnknownValues(a: unknown, b: unknown): number, before=TsParametersState(thisInstance=TsClass(name=Add, properties={}), parameters=[TsNull, TsBoolean(value=false)], globals={}), after=TsParametersState(thisInstance=TsClass(name=Add, properties={}), parameters=[TsNull, TsBoolean(value=false)], globals={}), returnValue=TsDouble(value=42.0), trace=[])
Extracted values:
	[TsUndefined, TsDouble(value=0.0), TsDouble(value=NaN)]
	[TsBoolean(value=true), TsNull, TsDouble(value=NaN)]
	[TsNull, TsDouble(value=7.0), TsDouble(value=7.0)]
	[TsNull, TsNull, TsDouble(value=0.0)]
	[TsNull, TsBoolean(value=false), TsDouble(value=42.0)]

主要言語
Kotlin
スター
33
フォーク
27
平均マージ
4日 3時間
マージ済み PR(30日)
15

コントリビューションガイド

このリポジトリのコントリビューションガイドは索引されていません

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

UnitTestBot/usvm のほかの issue

UnitTestBot/usvm の issue をすべて見る

似ている issue

Kotlin の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。