Changes

'''For example: test1.z3'''<br>

'''For example: test1.z3'''<br>

[[File:Capture4.JPG]]<br><br/>

[[File:Capture4.JPG]]<br><br/>

7.  Open '''Command Prompt''' and go to root C.<br>

7.  Open '''Command Prompt''' and go to root C. '''cd''' should be to '''c:z3 folder'''.<br>  

8.  cd should be to c:z3 folder.<br>  

8.  If not the path has to be set and it can be invoked from anywhere.<br>

9.  If not the path has to be set and it can be invoked from anywhere.<br>

9.  Or we need to invoke z3compiler with full path.<br>

10.  Or we need to invoke z3compiler with full path.<br>

[[File:Capture6.JPG]]<br><br/>

[[File:Capture6.JPG]]<br><br/>

8.  Run this program as '''z3compiler.exe test1.z3''' as shown below.<br>

10.  Run this program as '''z3compiler.exe test1.z3''' as shown below.<br>

[[File:Capture7.JPG]]<br><br/>

[[File:Capture7.JPG]]<br><br/>