Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

non determinism for `Ysafe-init` external method trace

See original GitHub issue

there seems to be some non determinism in running the Ysafe-init tests in https://github.com/lampepfl/dotty/pull/12685. either method name or ordinal appears in the error message for the enum example, so the check file diff fails in test_windows_full https://github.com/lampepfl/dotty/actions/runs/937890644

_Originally posted by @bishabosha in https://github.com/lampepfl/dotty/issues/12823#issuecomment-861291086_

Here is the line in the error:

https://github.com/lampepfl/dotty/blob/076ab0a974fdc1039ca877736e8436bcecea0fd0/tests/init/neg/enum-desugared.check#L8

Issue Analytics

State:
Created 2 years ago
Comments:9 (9 by maintainers)

Top GitHub Comments

1reaction

oderskycommented, Jun 15, 2021

I believe it is this failure that causes the nightlies to fail

0reactions

liufengyuncommented, Jul 15, 2021

Fixed in #12989

Top Results From Across the Web

Deterministic and Nondeterministic Functions - SQL Server

Nondeterministic functions may return different results each time they're called with a specific set of input values even if the database ...

Internal nondeterminism vs external (observable ...

Nondeterministic vs deterministic Nondeterminism means that the path of execution isn't fully determined by the specification of the computation, so the same ...

Trace and Testing Metrics on Nondeterministic Probabilistic ...

We consider three approaches to the combination of nondeterminism and probability: the trace distribution, the trace-by-trace and the supremal probabilities ...

TraceSanitizer – Eliminating the Effects of Non-determinism ...

TraceSanitizer can identify and compensate for non- determinisms caused either by dynamic memory allocation or by non-deterministic scheduling. We formulate a ...

Trace Specifications of Non-Deterministic Multi-Object Modules

A trace specification is a “black-box” specification, i.e., it describes only those features of a module that are externally observable. The method was ......