Yoshiki Takashima
Results
23
comments of
Yoshiki Takashima
@danielsn Would you mind taking a look?
Similar to #1563. Perhaps we should audit for subprocess calls? Is the exit code also 0?
> call to foreign "C" function `_NSGetArgc` is not currently supported by Kani. Hit during exploration for using https://github.com/secure-foundations/rWasm. Blocking potential customer.