diff options
author | Andrei Karas <akaras@inbox.ru> | 2015-07-08 00:34:52 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2015-07-08 14:09:58 +0300 |
commit | 4403372a6292fcfeff4d29383e0fc964abaeb592 (patch) | |
tree | ce546f534f60e5c7d1c7dd975159484ba63a415f /test/test07-05.txt | |
parent | c493b9059f0289585c7aa7c2be71ec7fd5aa9116 (diff) | |
download | paranucker-4403372a6292fcfeff4d29383e0fc964abaeb592.tar.gz paranucker-4403372a6292fcfeff4d29383e0fc964abaeb592.tar.bz2 paranucker-4403372a6292fcfeff4d29383e0fc964abaeb592.tar.xz paranucker-4403372a6292fcfeff4d29383e0fc964abaeb592.zip |
Add WHILE_STMT node analysis.
This add basic support for while(exprt) {code}
Diffstat (limited to 'test/test07-05.txt')
0 files changed, 0 insertions, 0 deletions