From c82da43e4017b2787fe2200c1d0b8ad4cea008a7 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 4 May 2013 11:13:33 -0700 Subject: [PATCH] Reducing page width in 'readme.md'. --- readme.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/readme.md b/readme.md index 7c3481fc5..ad2866088 100644 --- a/readme.md +++ b/readme.md @@ -23,7 +23,7 @@ To build the demo program To run the demo program, give it a file with the logic network in AIGER or BLIF. For example: - [alanmi@mima] ~/abc> demo i10.aig + [...] ~/abc> demo i10.aig i10 : i/o = 257/ 224 lat = 0 and = 2396 lev = 37 i10 : i/o = 257/ 224 lat = 0 and = 1851 lev = 35 Networks are equivalent. @@ -31,7 +31,7 @@ To run the demo program, give it a file with the logic network in AIGER or BLIF. The same can be produced by running the binary in the command-line mode: - [alanmi@mima] ~/abc> ./abc + [...] ~/abc> ./abc UC Berkeley, ABC 1.01 (compiled Oct 6 2012 19:05:18) abc 01> r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec i10 : i/o = 257/ 224 lat = 0 and = 2396 lev = 37 @@ -40,7 +40,7 @@ The same can be produced by running the binary in the command-line mode: or in the batch mode: - [alanmi@mima] ~/abc> ./abc -c "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec" + [...] ~/abc> ./abc -c "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec" ABC command line: "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec". i10 : i/o = 257/ 224 lat = 0 and = 2396 lev = 37 i10 : i/o = 257/ 224 lat = 0 and = 1851 lev = 35