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 15:02:31 +01:00
parent 7ae0f4966a
commit e795eaa451
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/abc/abc.h"
#include "base/main/main.h" #include "base/main/main.h"
#include "base/main/mainInt.h" #include "base/main/mainInt.h"
@ -59854,7 +59855,7 @@ int Abc_CommandAbc9eSLIM( Abc_Frame_t * pAbc, int argc, char ** argv ) {
} }
int Abc_CommandAbc9CatBtor( 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; int c, fVerbose = 0;
char * pFileName; char * pFileName;
@ -59877,9 +59878,7 @@ int Abc_CommandAbc9CatBtor( Abc_Frame_t * pAbc, int argc, char ** argv ) {
return 0; return 0;
} }
Abc_BtorCat( pFileName, fVerbose ); return Abc_BtorCat( pFileName, fVerbose );
return 0;
usage: usage:
Abc_Print( -2, "usage: &catbtor [-v] <file>\n" ); 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 += " " + to_string(nRuntimeLimitSec);
command += " > log.txt 2>&1"; command += " > log.txt 2>&1";
LOG(1) << "UFAR external solver: launching command instead of PDR: " << command; LOG(1) << "UFAR external solver: launching command instead of PDR: " << command;
#ifdef __wasm
int res = -1;
#else
int res = system( command.c_str() ); int res = system( command.c_str() );
#endif
std::remove( pAigFile ); std::remove( pAigFile );
return res; return res;
} }