search

reb-ddm / analyzer

Static analysis framework for C
https://goblint.in.tum.de
MIT License
0 stars 0 forks source link

assign_var_parallel_with() #10

Open alina-weber opened 10 months ago

alina-weber commented 10 months ago

Is using assign_var_parallel and therefore should work out of the box after assign_var_parallel was adjusted