You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Variable keypath should override keypath argument inside atomkraft test trace --trace traces/violation1.itf.json --reactor reactors/reactor.p
but it is not done. In order to use "keypath.name", I have to put in inside arguments like this atomkraft test trace --trace traces/violation1.itf.json --reactor reactors/reactor.py --keypath "last_msg.name"
The text was updated successfully, but these errors were encountered:
djpesic
changed the title
Keypath variable in reactor is ignored
Keypath variable in reactor is ignored in trace execution
Oct 3, 2022
At the moment, we are setting the keypath variable at two places:
a) when generating the reactor
b) when running the test (atomkraft test trace ..).
In the case b), even if we don't set the option --keypath, it will still get set to the default value.
It seems to me that the right place for setting the keypath should be in reactor (which is a connector between the trace and the test). @hvanz , what do you think?
We should allow both, preferring the reactor first, with the option to override it with --keypath in the CLI. If both are empty, it should fail with a message. We should not provide a default value.
I am integrating another smart contract example in Atomkraft. I created a reactor stub (comments removed for clarity).
Variable
keypath
should override keypath argument insideatomkraft test trace --trace traces/violation1.itf.json --reactor reactors/reactor.p
but it is not done. In order to use "keypath.name", I have to put in inside arguments like this
atomkraft test trace --trace traces/violation1.itf.json --reactor reactors/reactor.py --keypath "last_msg.name"
The text was updated successfully, but these errors were encountered: