Problemunvalidated
an attacker has the possibility to launch 2 thread that will update `var` at the same time — This is a result of the design of the virtual platform/environment being used. Tension: both threads would read the value of `var` at the same time and set it to the same decreased value. Outcome: the payment would be indeed sent twice.
a064896e-53c6-4e04-b4f1-bd1f5ef26ea2
an attacker has the possibility to launch 2 thread that will update var at the same time — This is a result of the design of the virtual platform/environment being used. Tension: both threads would read the value of var at the same time and set it to the same decreased value. Outcome: the payment would be indeed sent twice.