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

Fix WASI and make prototype valid

This commit is contained in:
Miodrag Milanovic 2026-03-09 13:02:54 +01:00
parent 55f552b454
commit b4a657e75b
2 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/base/abci/abc.c
View File

@ -18,6 +18,7 @@
***********************************************************************/
#include <inttypes.h>
#include "base/abc/abc.h"
#include "base/main/main.h"
#include "base/main/mainInt.h"
@ -59868,7 +59869,7 @@ int Abc_CommandAbc9eSLIM( Abc_Frame_t * pAbc, int argc, char ** argv ) {
}
int Abc_CommandAbc9CatBtor( Abc_Frame_t * pAbc, int argc, char ** argv ) {
extern void Abc_BtorCat( char * pFileName, int fVerbose );
extern int32_t Abc_BtorCat( char * pFileName, int fVerbose );
int c, fVerbose = 0;
char * pFileName;
@ -59891,9 +59892,7 @@ int Abc_CommandAbc9CatBtor( Abc_Frame_t * pAbc, int argc, char ** argv ) {
return 0;
}
Abc_BtorCat( pFileName, fVerbose );
return 0;
return Abc_BtorCat( pFileName, fVerbose );
usage:
Abc_Print( -2, "usage: &catbtor [-v] <file>\n" );

4
src/opt/untk/NtkNtk.cpp
View File

@ -1273,7 +1273,11 @@ static inline int run_external_solver_on_aig( Abc_Ntk_t * pAbcNtk, const string&
command += " " + to_string(nRuntimeLimitSec);
command += " > log.txt 2>&1";
LOG(1) << "UFAR external solver: launching command instead of PDR: " << command;
#ifdef __wasm
int res = -1;
#else
int res = system( command.c_str() );
#endif
std::remove( pAigFile );
return res;
}