writer
1,835
edits
Changes
Jump to navigation
Jump to search
Line 22:
Line 22: − + − 8. cd should be to c:z3 folder.<br> + − 9. If not the path has to be set and it can be invoked from anywhere.<br>+ − 10. Or we need to invoke z3compiler with full path.<br> − 8. Run this program as '''z3compiler.exe test1.z3''' as shown below.<br>+
Manuals/calci/z3console (view source)
Revision as of 09:19, 22 September 2017
, 09:19, 22 September 2017no edit summary
'''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. 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>
[[File:Capture6.JPG]]<br><br/>
[[File:Capture6.JPG]]<br><br/>
10. Run this program as '''z3compiler.exe test1.z3''' as shown below.<br>
[[File:Capture7.JPG]]<br><br/>
[[File:Capture7.JPG]]<br><br/>