diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-02-22 07:25:11 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-02-22 07:25:11 -0800 |
| commit | d1f10f323c5ccec8ea71d2766f8ab40e82db1c53 (patch) | |
| tree | 59829d9b5f6420704d6a357875c37031fa0b0c24 /src/aig/gia/giaGen.c | |
| parent | 3c586f886e52414b2baa8d0df3722b71e3478f0d (diff) | |
| download | abc-d1f10f323c5ccec8ea71d2766f8ab40e82db1c53.tar.gz abc-d1f10f323c5ccec8ea71d2766f8ab40e82db1c53.tar.bz2 abc-d1f10f323c5ccec8ea71d2766f8ab40e82db1c53.zip | |
Adding commands to generate data for experiments.
Diffstat (limited to 'src/aig/gia/giaGen.c')
| -rw-r--r-- | src/aig/gia/giaGen.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/aig/gia/giaGen.c b/src/aig/gia/giaGen.c index 007a74f9..09a859ad 100644 --- a/src/aig/gia/giaGen.c +++ b/src/aig/gia/giaGen.c @@ -156,10 +156,10 @@ void Gia_ManDumpFiles( Gia_Man_t * p, int nCexesT, int nCexesV, int Seed, char * char pFileNameOutVX[100]; char pFileNameOutVY[100]; - sprintf( pFileNameOutTX, "data/train_%s_%d_%d.data", pFileName ? pFileName : Gia_ManName(p), nSize[0], Gia_ManCiNum(p) ); - sprintf( pFileNameOutTY, "data/train_%s_%d_%d.data", pFileName ? pFileName : Gia_ManName(p), nSize[0], Gia_ManCoNum(p) ); - sprintf( pFileNameOutVX, "data/test_%s_%d_%d.data", pFileName ? pFileName : Gia_ManName(p), nSize[1], Gia_ManCiNum(p) ); - sprintf( pFileNameOutVY, "data/test_%s_%d_%d.data", pFileName ? pFileName : Gia_ManName(p), nSize[1], Gia_ManCoNum(p) ); + sprintf( pFileNameOutTX, "train_%s_%d_%d.data", pFileName ? pFileName : Gia_ManName(p), nSize[0], Gia_ManCiNum(p) ); + sprintf( pFileNameOutTY, "train_%s_%d_%d.data", pFileName ? pFileName : Gia_ManName(p), nSize[0], Gia_ManCoNum(p) ); + sprintf( pFileNameOutVX, "test_%s_%d_%d.data", pFileName ? pFileName : Gia_ManName(p), nSize[1], Gia_ManCiNum(p) ); + sprintf( pFileNameOutVY, "test_%s_%d_%d.data", pFileName ? pFileName : Gia_ManName(p), nSize[1], Gia_ManCoNum(p) ); Gia_ManRandomW( 1 ); for ( n = 0; n < Seed; n++ ) @@ -241,8 +241,8 @@ void Gia_ManDumpPlaFiles( Gia_Man_t * p, int nCexesT, int nCexesV, int Seed, cha char pFileNameOutT[100]; char pFileNameOutV[100]; - sprintf( pFileNameOutT, "data/train_%s_%d.pla", pFileName ? pFileName : Gia_ManName(p), nSize[0], Gia_ManCiNum(p) ); - sprintf( pFileNameOutV, "data/test_%s_%d.pla", pFileName ? pFileName : Gia_ManName(p), nSize[1], Gia_ManCiNum(p) ); + sprintf( pFileNameOutT, "train_%s_%d.pla", pFileName ? pFileName : Gia_ManName(p), nSize[0], Gia_ManCiNum(p) ); + sprintf( pFileNameOutV, "test_%s_%d.pla", pFileName ? pFileName : Gia_ManName(p), nSize[1], Gia_ManCiNum(p) ); Gia_ManRandomW( 1 ); for ( n = 0; n < Seed; n++ ) |