concurrent-programming-web issueshttps://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues2021-01-21T11:10:46+01:00https://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/issues/60Memory Model: Inconsistent results after reverting assumption2021-01-21T11:10:46+01:00Felix FreibergerMemory Model: Inconsistent results after reverting assumptionLook at this video: ![2019-06-18_15-53-28](/uploads/b3475ffb28021b5dee0c150bda4b7a2c/2019-06-18_15-53-28.mp4)
At the end, I have 3 solutions, add a constraint, remove it again, and then there are only 2 solutions.Look at this video: ![2019-06-18_15-53-28](/uploads/b3475ffb28021b5dee0c150bda4b7a2c/2019-06-18_15-53-28.mp4)
At the end, I have 3 solutions, add a constraint, remove it again, and then there are only 2 solutions.Fabian KosmaleFabian Kosmale