Translating back the set with one item (iff and ite are also tested)
authorHamed <hamed.gorjiara@gmail.com>
Mon, 17 Jul 2017 23:04:18 +0000 (16:04 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Mon, 17 Jul 2017 23:04:18 +0000 (16:04 -0700)
commit1e8c0203c0c0eb772dda4a7c927ba8834b121345
tree9d76f50557a58bf657a035fb05d907435f309cbc
parent83aa7f6cdb016796a00f7c5d0695d96438bca502
Translating back the set with one item (iff and ite are also tested)
src/Backend/satelemencoder.c
src/Backend/sattranslator.c