Skip to content

Commit 36209f3

Browse files
nanocohnanocoh
authored
Update README with build command instructions
1 parent 069e9e1 commit 36209f3

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

‎example/README.md‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,5 +3,6 @@
33
## Instructions
44

55
```bash
6+
cd example
67
../build/src/bin/kepler_formal tinyrocket_naja.if tinyrocket_naja_edited.if NangateOpenCellLibrary_typical.lib fakeram45_1024x32.lib fakeram45_64x32.lib
78
```

0 commit comments

Comments
 (0)