summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorCatherine <whitequark@whitequark.org>2023-02-04 03:34:04 +0000
committerGitHub <noreply@github.com>2023-02-04 03:34:04 +0000
commita8f0ef2368aa56b3ad20a52298a02e63b2a93e2d (patch)
treee8ecd1272ea20efadbe47e3642d0f31fad575a16
parentbe9a35c0363174a7cef21d55ed80d92a9ef95ab1 (diff)
parent18b9c612f43d865e4dec0ef996f617571f9047d9 (diff)
downloadabc-a8f0ef2368aa56b3ad20a52298a02e63b2a93e2d.tar.gz
abc-a8f0ef2368aa56b3ad20a52298a02e63b2a93e2d.tar.bz2
abc-a8f0ef2368aa56b3ad20a52298a02e63b2a93e2d.zip
Merge pull request #20 from YosysHQ/wasi-Exa4_ManSolve
Add WASI support in Exa4_ManSolve
-rw-r--r--src/sat/bmc/bmcMaj.c4
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;