diff options
author | whitequark <whitequark@whitequark.org> | 2021-11-27 07:57:15 +0000 |
---|---|---|
committer | whitequark <whitequark@whitequark.org> | 2021-11-27 07:57:15 +0000 |
commit | 264dfc7ed414476438e4a858258f5516d7b863c6 (patch) | |
tree | 0c3ff28e48071a2c921b7ed1fe7218124c1df629 /src/sat/bsat2/Vec.h | |
parent | f6fa2ddcfc89099726d60386befba874c7ac1e0d (diff) | |
download | abc-264dfc7ed414476438e4a858258f5516d7b863c6.tar.gz abc-264dfc7ed414476438e4a858258f5516d7b863c6.tar.bz2 abc-264dfc7ed414476438e4a858258f5516d7b863c6.zip |
Extend WASI platform support for glucose2.
Abort on OOM since there are no C++ exceptions yet.
Diffstat (limited to 'src/sat/bsat2/Vec.h')
0 files changed, 0 insertions, 0 deletions