diff options
| author | Catherine <whitequark@whitequark.org> | 2023-02-04 03:14:44 +0000 |
|---|---|---|
| committer | Catherine <whitequark@whitequark.org> | 2023-02-04 03:14:44 +0000 |
| commit | 18b9c612f43d865e4dec0ef996f617571f9047d9 (patch) | |
| tree | e8ecd1272ea20efadbe47e3642d0f31fad575a16 | |
| parent | be9a35c0363174a7cef21d55ed80d92a9ef95ab1 (diff) | |
| download | abc-18b9c612f43d865e4dec0ef996f617571f9047d9.tar.gz abc-18b9c612f43d865e4dec0ef996f617571f9047d9.tar.bz2 abc-18b9c612f43d865e4dec0ef996f617571f9047d9.zip | |
Add WASI support in Exa4_ManSolve.
| -rw-r--r-- | src/sat/bmc/bmcMaj.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/sat/bmc/bmcMaj.c b/src/sat/bmc/bmcMaj.c index 2525f943..1059a4ae 100644 --- a/src/sat/bmc/bmcMaj.c +++ b/src/sat/bmc/bmcMaj.c @@ -1650,7 +1650,11 @@ Vec_Int_t * Exa4_ManSolve( char * pFileNameIn, char * pFileNameOut, int TimeOut, sprintf( pCommand, "%s --time=%d %s %s > %s", pKissat, TimeOut, fVerboseSolver ? "": "-q", pFileNameIn, pFileNameOut ); else sprintf( pCommand, "%s %s %s > %s", pKissat, fVerboseSolver ? "": "-q", pFileNameIn, pFileNameOut ); +#ifdef __wasm + if ( 1 ) +#else if ( system( pCommand ) == -1 ) +#endif { fprintf( stdout, "Command \"%s\" did not succeed.\n", pCommand ); return 0; |