tests/refs/races.c


Log

Author Commit Date CI Message
Carlos Martín Nieto 878fb66f 2014-02-05T10:19:17 refs: bring conditional symbolic updates to the frontend Bring the race detection goodness to symbolic references as well.
Carlos Martín Nieto d6236cf6 2014-02-04T21:40:22 refs: add tests for conditional updates