Detected non-deterministic results under various configurations

[vitsalis]

Detected non-deterministic results under various configurations

[vitsalis]

Hi, thanks for reporting.

What Python version are you using? Can you please paste the conflicting examples? I can't see the code samples or the corresponding results from the links you provided.

The best way to replicate the micro-benchmark experiments is through the pycg-evaluation artifact repository, which contains the version ran in the paper.

[AnnabellaM]

Hi Vitsalis, the Python version we are using is 3.10. Here is a conflicting example:

The program being analyzed is returns/call/main.py

result from run0:
{"main": ["main.func", "main.return_func"], "main.return_func": [], "main.func": []}

result from run1:
{"main": ["main.func"], "main.func": []}

detected nondeterministic results from micro-benchmark and macro-benchmark contains all detected nondeterministic results, each sub-folder contains results from 10 runs.

[vitsalis]

Closing due to archival of repository.