search

runtimeverification / kasmer-multiversx

Wasm semantics for the Elrond/MultiversX blockchain network
BSD 3-Clause "New" or "Revised" License
0 stars 0 forks source link

Fix `AttributeError` in `_parse_args` #134

Closed bbyalcinkaya closed 3 months ago

bbyalcinkaya commented 3 months ago 
$ kasmerx -C test_adder build
Traceback (most recent call last):
  File "<string>", line 1, in <module>
  File "/home/burak/yah/mx-backend/kmxwasm/src/kmxwasm/kasmerx/__main__.py", line 55, in main
    kasmerx(sys.argv[1:])
  File "/home/burak/yah/mx-backend/kmxwasm/src/kmxwasm/kasmerx/__main__.py", line 61, in kasmerx
    opts = _parse_args(args)
  File "/home/burak/yah/mx-backend/kmxwasm/src/kmxwasm/kasmerx/__main__.py", line 116, in _parse_args
    test=ns.test,
AttributeError: 'Namespace' object has no attribute 'test'