Some tests cannot run on windows, for example the test_race_condition::test_race_condition_1 with arguments llvm=True. The test passes on Linux systems, but fails on windows. Simply speaking the model returns incorrect values. In some cases the execution crashes with segmentation fault.
Some tests cannot run on windows, for example the test_race_condition::test_race_condition_1 with arguments llvm=True. The test passes on Linux systems, but fails on windows. Simply speaking the model returns incorrect values. In some cases the execution crashes with segmentation fault.