Skip to content

Latest commit

 

History

History
 
 

smt

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
README.md
README.md
 
 
addi64.py
addi64.py
 
 
div_u_rem_u_i64.py
div_u_rem_u_i64.py
 
 
muli64.py
muli64.py
 
 
subi64.py
subi64.py
 
 
utils.py
utils.py
 
 

README.md

Use z3py to verify constraints for wasm instructions.

Setup

    pip3 install z3_solver

Run

    python3 addi64.py