diff options
author | whitequark <whitequark@whitequark.org> | 2020-12-29 13:35:31 +0000 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2021-11-12 12:38:41 +0100 |
commit | e289a8059eac7d0514f8a20ffe6464fc18db1450 (patch) | |
tree | 9cd00ced8077caeb9bdf376911ab1b4e3b5fe355 /src/proof/fraig/fraigNode.c | |
parent | d2d6bbd9f86f61fc9b5cc7d703e1386bbd6ad6a2 (diff) | |
download | abc-e289a8059eac7d0514f8a20ffe6464fc18db1450.tar.gz abc-e289a8059eac7d0514f8a20ffe6464fc18db1450.tar.bz2 abc-e289a8059eac7d0514f8a20ffe6464fc18db1450.zip |
Add WASI platform support to bsat2 and glucose.
Abort on OOM since there are no C++ exceptions yet.
Signed-off-by: Miodrag Milanovic <mmicko@gmail.com>
Diffstat (limited to 'src/proof/fraig/fraigNode.c')
0 files changed, 0 insertions, 0 deletions