dry-analyzer

dry-analyzer copied to clipboard

Error: The implementation CoqNat.ml does not match the interface CoqNat.cmi: Values do not match: val zero : int is not included in val zero : Decimal.int File "CoqNat.mli", line 6, characters 0-14: Expected declaration File "CoqNat.ml", line 8, characters 4-8: Actual declaration Command exited with code 2. Compilation unsuccessful after building 38 targets (0 cached) in 00:00:01.

1

when I make ,errors blow.Can you help me? Error: The implementation CoqNat.ml does not match the interface CoqNat.cmi: Values do not match: val zero : int is not included in...

Ywmet

After clicking the "Analyze" button on the web interface, I've got the following report. How do I read it? Thanks in advance. ``` Behaviors 2 behaviors cover the possibilities (assuming...

domainexpert

…ake command in `readme.md`. This was the resolution of #52 .

domainexpert

Would love to also help out here. Do you have a specific look/feel you're going for? Also, mention: @aupiff.

pindaroso

Set up continuous integration

1

pirapira

pirapira

It should be possible to lookup the code and turn it into a byte sequence and then into a word.

pirapira

pirapira

``` (take (0x7ca) bytes at (0xc0) from (codecopy mem: (0xc0), code: (0x23c), size: (0x7ca), on (mem_write32 addr: (0x40) val: (0x88a) in ... ``` should be just ``` (take (0x7ca) bytes...

pirapira

For example, http://dry.yoichihirai.com/?nsteps=150&contract=0x7f0000000000000000000000000000000000000000000000000000000000000000807f0000000000000000000000000000000000000000000000000000000000000040805180920190528180380382397f00000000000000000000000000000000000000000000000000000000000000025b82157f0000000000000000000000000000000000000000000000000000000000000126578181557f000000000000000000000000000000000000000000000000000000000000002090929003917f000000000000000000000000000000000000000000000000000000000000002001907f0000000000000000000000000000000000000000000000000000000000000020017f0000000000000000000000000000000000000000000000000000000000000071565b5050507f00000000000000000000000000000000000000000000000000000000000000237f0000000000000000000000000000000000000000000000000000000000000000557f0000000000000000000000000000000000000000000000000000000000000051807f000000000000000000000000000000000000000000000000000000000000004080518092019052817f00000000000000000000000000000000000000000000000000000000000001dc8239f37f000000000000000000000000000000000000000000000000000000000000000054565b7f00000000000000000000000000000000000000000000000000000000000000003560e060020a900450600256

pirapira