Skip to content

A
abc
Commit 18b9c612 by Catherine
Options

Add WASI support in Exa4_ManSolve.

parent be9a35c0
Showing with 4 additions and 0 deletions
src/sat/bmc/bmcMaj.c
...@@ -1650,7 +1650,11 @@ Vec_Int_t * Exa4_ManSolve( char * pFileNameIn, char * pFileNameOut, int TimeOut, ...@@ -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 ); sprintf( pCommand, "%s --time=%d %s %s > %s", pKissat, TimeOut, fVerboseSolver ? "": "-q", pFileNameIn, pFileNameOut );
else else
sprintf( pCommand, "%s %s %s > %s", pKissat, fVerboseSolver ? "": "-q", pFileNameIn, pFileNameOut ); sprintf( pCommand, "%s %s %s > %s", pKissat, fVerboseSolver ? "": "-q", pFileNameIn, pFileNameOut );
#ifdef __wasm
if ( 1 )
#else
if ( system( pCommand ) == -1 ) if ( system( pCommand ) == -1 )
#endif
{ {
fprintf( stdout, "Command \"%s\" did not succeed.\n", pCommand ); fprintf( stdout, "Command \"%s\" did not succeed.\n", pCommand );
return 0; return 0;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment