get `tests/dscripts/fault_injection/dfinity_async_strcmp_fn.d` working

ejrgilbert / whamm

Debugging WebAssembly? Put some Whamm! on it.

https://ejrgilbert.github.io/whamm/

16 stars 3 forks source link

get `tests/dscripts/fault_injection/dfinity_async_strcmp_fn.d` working #6

Closed ejrgilbert closed 5 months ago

ejrgilbert commented 5 months ago

This use case requires the following things to work (on top of the dfinity_sync.d requirements).

[x] strpaircmp functionality
[x] backup/use of args to function
[x] Emitting Strings
[x] Get working with implementation

ejrgilbert commented 5 months ago

Just got this working (at least it's emitting valid Wasm code based on wasm2wat's output). Next is to actually have the predicate work with the canister IDs (will need to be dynamically found and then replace the ID to check in the .D file.