luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #20 from YosysHQ/wasi-Exa4_ManSolve 

Add WASI support in Exa4_ManSolve
This commit is contained in:
Catherine 2023-02-04 03:34:04 +00:00 committed by GitHub
parent be9a35c036 18b9c612f4
commit a8f0ef2368
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/sat/bmc/bmcMaj.c
View File

@ -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;