aditink / algebraic_simplification_cesar

Egg Heuristics for algebraic simplification used by the CESAR tool.
GNU General Public License v2.0
2 stars 3 forks source link

Thread Safety #11

Open Ravneetsb opened 4 months ago

Ravneetsb commented 4 months ago

Currently the code is not thread-safe. Test cases pass consistently only when we specify the use of a single thread during testing. There are still other tests that fail consistently.