abstract domains checking to a separate function
commit302fb79ca9dbb5799f1b36b08d21d852b064be60
authorSebastian Pop <seb@napoca.(none)>
Fri, 13 Jun 2008 18:16:07 +0000 (13 13:16 -0500)
committerSebastian Pop <seb@napoca.(none)>
Fri, 13 Jun 2008 18:16:07 +0000 (13 13:16 -0500)
treea221e1fca94017edaa9d9e77c5f3f06da18f9bf7
parent9491b7dca641c54e3490185c62aa4c3ae8da7e90
abstract domains checking to a separate function
source/ppl/domain.c