SuccessConsole Output

Skipping 3,599 KB.. Full Log
e: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: dffa60b7120723f9fd90411eb24e5b17a75746ff973538716321a3e30d82174c
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: 0c3d545eb87003036c600a52b6ecc9d6f311fecfba1ca7c7911fe731254b75f2
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 6f365b31daf4f82551e6c931030733a6198393040139d41cd0f832cc47e5d76f
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: 842009c3604d8028182a79165b68f8246b9c84dcd4917a97e4684e391e3a1f88
=== Skipping non-semantic rule: 5f787523727089903421592a31742b8064249ad4a105c1cec4f9f5c5a45620b1
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: df22dfd51cbcb136063f2fd7d892df22d06f49a6aede812d24b2fd927604b09e
=== Skipping non-semantic rule: 7816dbf6828e1569fcfd979d102460f83d5d382449a9e0f01dd8e19b1fa57576
=== Skipping non-semantic rule: 6c91f7bb1a0e986f49d0d463f2c940f03cbf9f9469e268500272b0e62e57cc2f
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: bd5a03a9fa10470da2cec110d65324bc984a4ce8346838199d4ccd593edd4897
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: dffa60b7120723f9fd90411eb24e5b17a75746ff973538716321a3e30d82174c
=== Skipping non-semantic rule: dff135660573c56c341b10c6f46f5e6c7a01cedb39e8ed1482d11c8bf858aabc
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 6f365b31daf4f82551e6c931030733a6198393040139d41cd0f832cc47e5d76f
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: 842009c3604d8028182a79165b68f8246b9c84dcd4917a97e4684e391e3a1f88
=== Skipping non-semantic rule: 5f787523727089903421592a31742b8064249ad4a105c1cec4f9f5c5a45620b1
=== Skipping non-semantic rule: 51eb414ad2bad173386cd76d167a62927cb01f4987021d1c1d234feb736d8e52
=== Skipping non-semantic rule: 0b0468baa7af39732628fa9b1f8f9f4939edcaae98c58e01c3e46c0eaaa829ef
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: c457743be6578f702d99ade0925a476fbe3db3e54d5d2082895fe2e8c7567463
=== Skipping non-semantic rule: d69fae1385ebfd86ce7f7ead0c140126b98a3cdf19c69265d07a288dec0671d6
=== Skipping non-semantic rule: d69fae1385ebfd86ce7f7ead0c140126b98a3cdf19c69265d07a288dec0671d6
=== Skipping non-semantic rule: d41b425111bc357239c229aca0196fd1690364fa756c817dce19c9a83a7aa274
=== Skipping non-semantic rule: 7a1135ba5c66765ec798da7b6f0b364c4a5630d41d187a0b64e8069a88377709
=== Skipping non-semantic rule: d41b425111bc357239c229aca0196fd1690364fa756c817dce19c9a83a7aa274
=== Skipping non-semantic rule: 7a1135ba5c66765ec798da7b6f0b364c4a5630d41d187a0b64e8069a88377709
=== Skipping non-semantic rule: 9821d56981f97f3160e642e79efeb50fb864919c2f87b86682b2236fa148e14a
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: dffa60b7120723f9fd90411eb24e5b17a75746ff973538716321a3e30d82174c
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: dffa60b7120723f9fd90411eb24e5b17a75746ff973538716321a3e30d82174c
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: 0c3d545eb87003036c600a52b6ecc9d6f311fecfba1ca7c7911fe731254b75f2
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 6f365b31daf4f82551e6c931030733a6198393040139d41cd0f832cc47e5d76f
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: 842009c3604d8028182a79165b68f8246b9c84dcd4917a97e4684e391e3a1f88
=== Skipping non-semantic rule: 5f787523727089903421592a31742b8064249ad4a105c1cec4f9f5c5a45620b1
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: df22dfd51cbcb136063f2fd7d892df22d06f49a6aede812d24b2fd927604b09e
=== Skipping non-semantic rule: 7816dbf6828e1569fcfd979d102460f83d5d382449a9e0f01dd8e19b1fa57576
=== Skipping non-semantic rule: 6c91f7bb1a0e986f49d0d463f2c940f03cbf9f9469e268500272b0e62e57cc2f
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: bd5a03a9fa10470da2cec110d65324bc984a4ce8346838199d4ccd593edd4897
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: dffa60b7120723f9fd90411eb24e5b17a75746ff973538716321a3e30d82174c
=== Skipping non-semantic rule: dff135660573c56c341b10c6f46f5e6c7a01cedb39e8ed1482d11c8bf858aabc
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 6f365b31daf4f82551e6c931030733a6198393040139d41cd0f832cc47e5d76f
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: 842009c3604d8028182a79165b68f8246b9c84dcd4917a97e4684e391e3a1f88
=== Skipping non-semantic rule: 5f787523727089903421592a31742b8064249ad4a105c1cec4f9f5c5a45620b1
=== Skipping non-semantic rule: 51eb414ad2bad173386cd76d167a62927cb01f4987021d1c1d234feb736d8e52
=== Skipping non-semantic rule: 0b0468baa7af39732628fa9b1f8f9f4939edcaae98c58e01c3e46c0eaaa829ef
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: c457743be6578f702d99ade0925a476fbe3db3e54d5d2082895fe2e8c7567463
=== Skipping non-semantic rule: d69fae1385ebfd86ce7f7ead0c140126b98a3cdf19c69265d07a288dec0671d6
=== Skipping non-semantic rule: d69fae1385ebfd86ce7f7ead0c140126b98a3cdf19c69265d07a288dec0671d6
=== Skipping non-semantic rule: d41b425111bc357239c229aca0196fd1690364fa756c817dce19c9a83a7aa274
=== Skipping non-semantic rule: 7a1135ba5c66765ec798da7b6f0b364c4a5630d41d187a0b64e8069a88377709
=== Skipping non-semantic rule: d41b425111bc357239c229aca0196fd1690364fa756c817dce19c9a83a7aa274
=== Skipping non-semantic rule: 7a1135ba5c66765ec798da7b6f0b364c4a5630d41d187a0b64e8069a88377709
=== Skipping non-semantic rule: 9821d56981f97f3160e642e79efeb50fb864919c2f87b86682b2236fa148e14a
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: dffa60b7120723f9fd90411eb24e5b17a75746ff973538716321a3e30d82174c
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: dffa60b7120723f9fd90411eb24e5b17a75746ff973538716321a3e30d82174c
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: 0c3d545eb87003036c600a52b6ecc9d6f311fecfba1ca7c7911fe731254b75f2
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 6f365b31daf4f82551e6c931030733a6198393040139d41cd0f832cc47e5d76f
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: 842009c3604d8028182a79165b68f8246b9c84dcd4917a97e4684e391e3a1f88
=== Skipping non-semantic rule: 5f787523727089903421592a31742b8064249ad4a105c1cec4f9f5c5a45620b1
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: df22dfd51cbcb136063f2fd7d892df22d06f49a6aede812d24b2fd927604b09e
=== Skipping non-semantic rule: 7816dbf6828e1569fcfd979d102460f83d5d382449a9e0f01dd8e19b1fa57576
=== Skipping non-semantic rule: 6c91f7bb1a0e986f49d0d463f2c940f03cbf9f9469e268500272b0e62e57cc2f
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: bd5a03a9fa10470da2cec110d65324bc984a4ce8346838199d4ccd593edd4897
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: dffa60b7120723f9fd90411eb24e5b17a75746ff973538716321a3e30d82174c
=== Skipping non-semantic rule: dff135660573c56c341b10c6f46f5e6c7a01cedb39e8ed1482d11c8bf858aabc
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 6f365b31daf4f82551e6c931030733a6198393040139d41cd0f832cc47e5d76f
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: 842009c3604d8028182a79165b68f8246b9c84dcd4917a97e4684e391e3a1f88
=== Skipping non-semantic rule: 5f787523727089903421592a31742b8064249ad4a105c1cec4f9f5c5a45620b1
=== Skipping non-semantic rule: 51eb414ad2bad173386cd76d167a62927cb01f4987021d1c1d234feb736d8e52
=== Skipping non-semantic rule: 0b0468baa7af39732628fa9b1f8f9f4939edcaae98c58e01c3e46c0eaaa829ef
# SUBDEFN=coverage ./kpol run --backend haskell unicode.wast.coverage-haskell --rule-sequence
rm -rf .build/defn/coverage/llvm/wasm-with-k-term-kompiled/*_coverage.txt
SUBDEFN=coverage ./kpol run --backend llvm deps/wasm-semantics/tests/simple/comments.wast
<wasm>
  <k>
    .
  </k>
  <valstack>
    .ValStack
  </valstack>
  <curFrame>
    <locals>
      .Map
    </locals>
    <localIds>
      .Map
    </localIds>
    <curModIdx>
      .Int
    </curModIdx>
    <labelDepth>
      0
    </labelDepth>
    <labelIds>
      .Map
    </labelIds>
  </curFrame>
  <moduleRegistry>
    .Map
  </moduleRegistry>
  <moduleIds>
    .Map
  </moduleIds>
  <moduleInstances>
    .ModuleInstCellMap
  </moduleInstances>
  <nextModuleIdx>
    0
  </nextModuleIdx>
  <mainStore>
    <funcs>
      .FuncDefCellMap
    </funcs>
    <nextFuncAddr>
      0
    </nextFuncAddr>
    <tabs>
      .TabInstCellMap
    </tabs>
    <nextTabAddr>
      0
    </nextTabAddr>
    <mems>
      .MemInstCellMap
    </mems>
    <nextMemAddr>
      0
    </nextMemAddr>
    <globals>
      .GlobalInstCellMap
    </globals>
    <nextGlobAddr>
      0
    </nextGlobAddr>
  </mainStore>
  <deterministicMemoryGrowth>
    true
  </deterministicMemoryGrowth>
  <nextFreshId>
    0
  </nextFreshId>
</wasm>
mv .build/defn/coverage/llvm/wasm-with-k-term-kompiled/*_coverage.txt deps/wasm-semantics/tests/simple/comments.wast.coverage-llvm
./translateCoverage.py .build/defn/coverage/llvm/wasm-with-k-term-kompiled \
                       .build/defn/kwasm/haskell/wasm-with-k-term-kompiled    \
                       deps/wasm-semantics/tests/simple/comments.wast.coverage-llvm > deps/wasm-semantics/tests/simple/comments.wast.coverage-haskell
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: e0e53f624a0c8a324235a8e79b9ef32dd9e9cf918b6f355ecff391c99c1b1981
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: e0e53f624a0c8a324235a8e79b9ef32dd9e9cf918b6f355ecff391c99c1b1981
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: e0e53f624a0c8a324235a8e79b9ef32dd9e9cf918b6f355ecff391c99c1b1981
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
# SUBDEFN=coverage ./kpol run --backend haskell comments.wast.coverage-haskell --rule-sequence
rm -rf .build/defn/coverage/llvm/wasm-with-k-term-kompiled/*_coverage.txt
SUBDEFN=coverage ./kpol run --backend llvm deps/wasm-semantics/tests/simple/modules.wast
<wasm>
  <k>
    call_indirect .TypeDecls ~> ( i32 . const 1 )  .EmptyStmts ~> label [ .ValTypes ] { .EmptyStmts } .ValStack ~> frame 0 .ValTypes .ValStack .Map 0 .Map ~> ( assert_return ( invoke  "get" .EmptyStmts ) i32 . const 24973 )  #clearConfig  .EmptyStmts
  </k>
  <valstack>
    .ValStack
  </valstack>
  <curFrame>
    <locals>
      .Map
    </locals>
    <localIds>
      .Map
    </localIds>
    <curModIdx>
      0
    </curModIdx>
    <labelDepth>
      1
    </labelDepth>
    <labelIds>
      .Map
    </labelIds>
  </curFrame>
  <moduleRegistry>
    .Map
  </moduleRegistry>
  <moduleIds>
    .Map
  </moduleIds>
  <moduleInstances>
    <moduleInst>
      <modIdx>
        0
      </modIdx>
      <exports>
        "get" |-> $get
      </exports>
      <typeIds>
        .Map
      </typeIds>
      <types>
        0 |-> [ .ValTypes ] -> [ .ValTypes ]
        1 |-> [ .ValTypes ] -> [ i32  .ValTypes ]
      </types>
      <nextTypeIdx>
        2
      </nextTypeIdx>
      <funcIds>
        $get |-> 3
        $main |-> 1
        $store |-> 2
      </funcIds>
      <funcAddrs>
        0 |-> 0
        1 |-> 1
        2 |-> 2
        3 |-> 3
      </funcAddrs>
      <nextFuncIdx>
        4
      </nextFuncIdx>
      <tabIds>
        .Map
      </tabIds>
      <tabAddrs>
        0 |-> 0
      </tabAddrs>
      <memIds>
        .Map
      </memIds>
      <memAddrs>
        0 |-> 0
      </memAddrs>
      <globIds>
        .Map
      </globIds>
      <globalAddrs>
        .Map
      </globalAddrs>
      <nextGlobIdx>
        0
      </nextGlobIdx>
    </moduleInst>
  </moduleInstances>
  <nextModuleIdx>
    1
  </nextModuleIdx>
  <mainStore>
    <funcs>
      <funcDef>
        <fAddr>
          0
        </fAddr>
        <fCode>
          .EmptyStmts
        </fCode>
        <fType>
          [ .ValTypes ] -> [ .ValTypes ]
        </fType>
        <fLocal>
          [ .ValTypes ]
        </fLocal>
        <fModInst>
          0
        </fModInst>
      </funcDef> <funcDef>
        <fAddr>
          1
        </fAddr>
        <fCode>
          call_indirect .TypeDecls  ( i32 . const 1 )  .EmptyStmts
        </fCode>
        <fType>
          [ .ValTypes ] -> [ .ValTypes ]
        </fType>
        <fLocal>
          [ .ValTypes ]
        </fLocal>
        <fModInst>
          0
        </fModInst>
      </funcDef> <funcDef>
        <fAddr>
          2
        </fAddr>
        <fCode>
          i32 . store  ( i32 . const 1 )  ( i32 . const 42 )  .EmptyStmts
        </fCode>
        <fType>
          [ .ValTypes ] -> [ .ValTypes ]
        </fType>
        <fLocal>
          [ .ValTypes ]
        </fLocal>
        <fModInst>
          0
        </fModInst>
      </funcDef> <funcDef>
        <fAddr>
          3
        </fAddr>
        <fCode>
          ( i32 . add ( i32 . load ( i32 . const 1 )  .EmptyStmts )  ( i32 . load i32 . const 100  .EmptyStmts )  .EmptyStmts )  .EmptyStmts
        </fCode>
        <fType>
          [ .ValTypes ] -> [ i32  .ValTypes ]
        </fType>
        <fLocal>
          [ .ValTypes ]
        </fLocal>
        <fModInst>
          0
        </fModInst>
      </funcDef>
    </funcs>
    <nextFuncAddr>
      4
    </nextFuncAddr>
    <tabs>
      <tabInst>
        <tAddr>
          0
        </tAddr>
        <tmax>
          .Int
        </tmax>
        <tsize>
          2
        </tsize>
        <tdata>
          0 |-> 0
          1 |-> 2
        </tdata>
      </tabInst>
    </tabs>
    <nextTabAddr>
      1
    </nextTabAddr>
    <mems>
      <memInst>
        <mAddr>
          0
        </mAddr>
        <mmax>
          10
        </mmax>
        <msize>
          10
        </msize>
        <mdata>
          ByteMap <| 100 |-> 99
          101 |-> 97 |>
        </mdata>
      </memInst>
    </mems>
    <nextMemAddr>
      1
    </nextMemAddr>
    <globals>
      .GlobalInstCellMap
    </globals>
    <nextGlobAddr>
      0
    </nextGlobAddr>
  </mainStore>
  <deterministicMemoryGrowth>
    true
  </deterministicMemoryGrowth>
  <nextFreshId>
    0
  </nextFreshId>
</wasm>
mv .build/defn/coverage/llvm/wasm-with-k-term-kompiled/*_coverage.txt deps/wasm-semantics/tests/simple/modules.wast.coverage-llvm
./translateCoverage.py .build/defn/coverage/llvm/wasm-with-k-term-kompiled \
                       .build/defn/kwasm/haskell/wasm-with-k-term-kompiled    \
                       deps/wasm-semantics/tests/simple/modules.wast.coverage-llvm > deps/wasm-semantics/tests/simple/modules.wast.coverage-haskell
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: 39829d09cd22015bffcb353d92ce785ded60dbfe21b3a7dbb09e351f675bea32
=== Skipping non-semantic rule: c951cc33f70eba478ab77f29364ef87d55eb4dd9c1445896be5f162728af1858
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: 39829d09cd22015bffcb353d92ce785ded60dbfe21b3a7dbb09e351f675bea32
=== Skipping non-semantic rule: c951cc33f70eba478ab77f29364ef87d55eb4dd9c1445896be5f162728af1858
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: 39829d09cd22015bffcb353d92ce785ded60dbfe21b3a7dbb09e351f675bea32
=== Skipping non-semantic rule: c951cc33f70eba478ab77f29364ef87d55eb4dd9c1445896be5f162728af1858
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: 39829d09cd22015bffcb353d92ce785ded60dbfe21b3a7dbb09e351f675bea32
=== Skipping non-semantic rule: c951cc33f70eba478ab77f29364ef87d55eb4dd9c1445896be5f162728af1858
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: 39829d09cd22015bffcb353d92ce785ded60dbfe21b3a7dbb09e351f675bea32
=== Skipping non-semantic rule: c951cc33f70eba478ab77f29364ef87d55eb4dd9c1445896be5f162728af1858
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: 39829d09cd22015bffcb353d92ce785ded60dbfe21b3a7dbb09e351f675bea32
=== Skipping non-semantic rule: 5d23b33ab0a160bfb6a44abe1521cac1c8caffef17f8a938db7fb31c5471fa5a
=== Skipping non-semantic rule: edbe801df9fde086018a798497603ec543577b4cff4ca1c7b529f9c75579c50e
=== Skipping non-semantic rule: b965202e736a876eb1a7f6a0f4e6464df4f77fc403852ec081f7e1194c744284
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 226f272ac76382a4d08c3aa01415b09e852f703fb28a7fd4f21913b346d6acd2
=== Skipping non-semantic rule: 226f272ac76382a4d08c3aa01415b09e852f703fb28a7fd4f21913b346d6acd2
=== Skipping non-semantic rule: edbe801df9fde086018a798497603ec543577b4cff4ca1c7b529f9c75579c50e
=== Skipping non-semantic rule: 610da672a6d00438bbc1aa1be6fa22f887d4a2bb0e8898cf54d7730d06ea6f5a
=== Skipping non-semantic rule: c951cc33f70eba478ab77f29364ef87d55eb4dd9c1445896be5f162728af1858
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 6d79e907301e8dc3c7d634ae0249133fa89800bdfe506ea43a2e7c1fe647a98b
=== Skipping non-semantic rule: 6d79e907301e8dc3c7d634ae0249133fa89800bdfe506ea43a2e7c1fe647a98b
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: e3f841f080760e2003d056541d85a2765f7c85c9c78c6892f19ab5e33ecee255
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 0531ddf15bcd76217bd7f18c4a68f64f6e3e7587900470ae0de3c7b63b0fa9e3
=== Skipping non-semantic rule: 0da430ae05c85fa8bd55d3285f5b028a55d77685259c2b72b174a06264a201a3
=== Skipping non-semantic rule: 8392e0c110c6bcb7cbf088cc05f386f55065602d1511ffc5045600ce41f428ca
=== Skipping non-semantic rule: d011975958c3040759e6aa964b6236f814c03395e983e930e86365358e716f6e
=== Skipping non-semantic rule: 2b5c8d5c4ed04704d2d9e9d3196423c5c6d30b9e78184783ffe54cc1c2968a4f
=== Skipping non-semantic rule: 2b5c8d5c4ed04704d2d9e9d3196423c5c6d30b9e78184783ffe54cc1c2968a4f
=== Skipping non-semantic rule: 65b5d65292863401ca17758f840ee339c5daa29771cf63be52270258377b9ad6
=== Skipping non-semantic rule: 79d74845326c0d8ed694452a87e25500f534a74281033acc5e1c17c4c72b58ab
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: f159000959fc300905842a7446091603ec94aa4dd6a2d5bd6c26c40ad4c2d352
=== Skipping non-semantic rule: a34b3f129e3019dc054b47d88a4c699416b2a72fd6285ad1eb8365ff18c7d0da
=== Skipping non-semantic rule: f159000959fc300905842a7446091603ec94aa4dd6a2d5bd6c26c40ad4c2d352
=== Skipping non-semantic rule: a34b3f129e3019dc054b47d88a4c699416b2a72fd6285ad1eb8365ff18c7d0da
=== Skipping non-semantic rule: 3b1066f2978fc1d157443ac0ea79c94e0ec0509fd7dfcf10cd8547fd34640de4
=== Skipping non-semantic rule: 0531ddf15bcd76217bd7f18c4a68f64f6e3e7587900470ae0de3c7b63b0fa9e3
=== Skipping non-semantic rule: 0da430ae05c85fa8bd55d3285f5b028a55d77685259c2b72b174a06264a201a3
=== Skipping non-semantic rule: 8392e0c110c6bcb7cbf088cc05f386f55065602d1511ffc5045600ce41f428ca
=== Skipping non-semantic rule: d011975958c3040759e6aa964b6236f814c03395e983e930e86365358e716f6e
=== Skipping non-semantic rule: 2b5c8d5c4ed04704d2d9e9d3196423c5c6d30b9e78184783ffe54cc1c2968a4f
=== Skipping non-semantic rule: 65b5d65292863401ca17758f840ee339c5daa29771cf63be52270258377b9ad6
=== Skipping non-semantic rule: 79d74845326c0d8ed694452a87e25500f534a74281033acc5e1c17c4c72b58ab
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: f159000959fc300905842a7446091603ec94aa4dd6a2d5bd6c26c40ad4c2d352
=== Skipping non-semantic rule: a34b3f129e3019dc054b47d88a4c699416b2a72fd6285ad1eb8365ff18c7d0da
=== Skipping non-semantic rule: 3b1066f2978fc1d157443ac0ea79c94e0ec0509fd7dfcf10cd8547fd34640de4
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: 5f787523727089903421592a31742b8064249ad4a105c1cec4f9f5c5a45620b1
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: df22dfd51cbcb136063f2fd7d892df22d06f49a6aede812d24b2fd927604b09e
=== Skipping non-semantic rule: 6c91f7bb1a0e986f49d0d463f2c940f03cbf9f9469e268500272b0e62e57cc2f
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: bd5a03a9fa10470da2cec110d65324bc984a4ce8346838199d4ccd593edd4897
=== Skipping non-semantic rule: dffa60b7120723f9fd90411eb24e5b17a75746ff973538716321a3e30d82174c
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: 5f787523727089903421592a31742b8064249ad4a105c1cec4f9f5c5a45620b1
=== Skipping non-semantic rule: 0b0468baa7af39732628fa9b1f8f9f4939edcaae98c58e01c3e46c0eaaa829ef
# SUBDEFN=coverage ./kpol run --backend haskell modules.wast.coverage-haskell --rule-sequence
rm -rf .build/defn/coverage/llvm/wasm-with-k-term-kompiled/*_coverage.txt
SUBDEFN=coverage ./kpol run --backend llvm deps/wasm-semantics/tests/simple/identifiers.wast
<wasm>
  <k>
    .
  </k>
  <valstack>
    .ValStack
  </valstack>
  <curFrame>
    <locals>
      .Map
    </locals>
    <localIds>
      .Map
    </localIds>
    <curModIdx>
      .Int
    </curModIdx>
    <labelDepth>
      0
    </labelDepth>
    <labelIds>
      .Map
    </labelIds>
  </curFrame>
  <moduleRegistry>
    .Map
  </moduleRegistry>
  <moduleIds>
    .Map
  </moduleIds>
  <moduleInstances>
    .ModuleInstCellMap
  </moduleInstances>
  <nextModuleIdx>
    0
  </nextModuleIdx>
  <mainStore>
    <funcs>
      .FuncDefCellMap
    </funcs>
    <nextFuncAddr>
      0
    </nextFuncAddr>
    <tabs>
      .TabInstCellMap
    </tabs>
    <nextTabAddr>
      0
    </nextTabAddr>
    <mems>
      .MemInstCellMap
    </mems>
    <nextMemAddr>
      0
    </nextMemAddr>
    <globals>
      .GlobalInstCellMap
    </globals>
    <nextGlobAddr>
      0
    </nextGlobAddr>
  </mainStore>
  <deterministicMemoryGrowth>
    true
  </deterministicMemoryGrowth>
  <nextFreshId>
    0
  </nextFreshId>
</wasm>
mv .build/defn/coverage/llvm/wasm-with-k-term-kompiled/*_coverage.txt deps/wasm-semantics/tests/simple/identifiers.wast.coverage-llvm
./translateCoverage.py .build/defn/coverage/llvm/wasm-with-k-term-kompiled \
                       .build/defn/kwasm/haskell/wasm-with-k-term-kompiled    \
                       deps/wasm-semantics/tests/simple/identifiers.wast.coverage-llvm > deps/wasm-semantics/tests/simple/identifiers.wast.coverage-haskell
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: 39829d09cd22015bffcb353d92ce785ded60dbfe21b3a7dbb09e351f675bea32
=== Skipping non-semantic rule: c951cc33f70eba478ab77f29364ef87d55eb4dd9c1445896be5f162728af1858
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
# SUBDEFN=coverage ./kpol run --backend haskell identifiers.wast.coverage-haskell --rule-sequence
rm -rf .build/defn/coverage/llvm/wasm-with-k-term-kompiled/*_coverage.txt
SUBDEFN=coverage ./kpol run --backend llvm deps/wasm-semantics/tests/simple/variables.wast
<wasm>
  <k>
    .
  </k>
  <valstack>
    .ValStack
  </valstack>
  <curFrame>
    <locals>
      .Map
    </locals>
    <localIds>
      .Map
    </localIds>
    <curModIdx>
      .Int
    </curModIdx>
    <labelDepth>
      0
    </labelDepth>
    <labelIds>
      .Map
    </labelIds>
  </curFrame>
  <moduleRegistry>
    .Map
  </moduleRegistry>
  <moduleIds>
    .Map
  </moduleIds>
  <moduleInstances>
    .ModuleInstCellMap
  </moduleInstances>
  <nextModuleIdx>
    0
  </nextModuleIdx>
  <mainStore>
    <funcs>
      .FuncDefCellMap
    </funcs>
    <nextFuncAddr>
      0
    </nextFuncAddr>
    <tabs>
      .TabInstCellMap
    </tabs>
    <nextTabAddr>
      0
    </nextTabAddr>
    <mems>
      .MemInstCellMap
    </mems>
    <nextMemAddr>
      0
    </nextMemAddr>
    <globals>
      .GlobalInstCellMap
    </globals>
    <nextGlobAddr>
      0
    </nextGlobAddr>
  </mainStore>
  <deterministicMemoryGrowth>
    true
  </deterministicMemoryGrowth>
  <nextFreshId>
    0
  </nextFreshId>
</wasm>
mv .build/defn/coverage/llvm/wasm-with-k-term-kompiled/*_coverage.txt deps/wasm-semantics/tests/simple/variables.wast.coverage-llvm
./translateCoverage.py .build/defn/coverage/llvm/wasm-with-k-term-kompiled \
                       .build/defn/kwasm/haskell/wasm-with-k-term-kompiled    \
                       deps/wasm-semantics/tests/simple/variables.wast.coverage-llvm > deps/wasm-semantics/tests/simple/variables.wast.coverage-haskell
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: d1ac99cf2b083910fee47311cc72d3c9c60b8a1f6101cc6a5a469deea4e73d07
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: 39829d09cd22015bffcb353d92ce785ded60dbfe21b3a7dbb09e351f675bea32
=== Skipping non-semantic rule: c951cc33f70eba478ab77f29364ef87d55eb4dd9c1445896be5f162728af1858
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: d1ac99cf2b083910fee47311cc72d3c9c60b8a1f6101cc6a5a469deea4e73d07
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d1ac99cf2b083910fee47311cc72d3c9c60b8a1f6101cc6a5a469deea4e73d07
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: 39829d09cd22015bffcb353d92ce785ded60dbfe21b3a7dbb09e351f675bea32
=== Skipping non-semantic rule: c951cc33f70eba478ab77f29364ef87d55eb4dd9c1445896be5f162728af1858
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: d1ac99cf2b083910fee47311cc72d3c9c60b8a1f6101cc6a5a469deea4e73d07
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
# SUBDEFN=coverage ./kpol run --backend haskell variables.wast.coverage-haskell --rule-sequence
rm -rf .build/defn/coverage/llvm/wasm-with-k-term-kompiled/*_coverage.txt
SUBDEFN=coverage ./kpol run --backend llvm deps/wasm-semantics/tests/simple/table.wast
<wasm>
  <k>
    call_indirect (type $out-i32 ) ~> ( i32 . const 8 )  .EmptyStmts ~> label [ i32  .ValTypes ] { .EmptyStmts } .ValStack ~> frame 5 i32  .ValTypes .ValStack .Map 0 .Map ~> #assertTopStack < i32 > 65 "call_indirect_result1"  ( invoke  "call-9" .EmptyStmts )  #assertTopStack < i32 > 66 "call_indirect_result2"  #assertFunction $const-i32-a [ .ValTypes ] -> [ i32  .ValTypes ] [ .ValTypes ] "call function 1 exists"  #assertFunction $const-i32-b [ .ValTypes ] -> [ i32  .ValTypes ] [ .ValTypes ] "call function 2 exists"  #assertFunction 2 [ .ValTypes ] -> [ i32  .ValTypes ] [ .ValTypes ] "call function 3 exists"  #assertFunction 3 [ .ValTypes ] -> [ i32  .ValTypes ] [ .ValTypes ] "call function 4 exists"  #assertFunction 4 [ .ValTypes ] -> [ i32  .ValTypes ] [ .ValTypes ] "call function 5 exists"  #assertTableElem ( 8 , 5 ) "table elem 8"  #assertTableElem ( 9 , 6 ) "table elem 9"  #assertTable $tab 10 .Int "table three with elements"  #clearConfig  .EmptyStmts
  </k>
  <valstack>
    .ValStack
  </valstack>
  <curFrame>
    <locals>
      .Map
    </locals>
    <localIds>
      .Map
    </localIds>
    <curModIdx>
      5
    </curModIdx>
    <labelDepth>
      1
    </labelDepth>
    <labelIds>
      .Map
    </labelIds>
  </curFrame>
  <moduleRegistry>
    .Map
  </moduleRegistry>
  <moduleIds>
    .Map
  </moduleIds>
  <moduleInstances>
    <moduleInst>
      <modIdx>
        0
      </modIdx>
      <exports>
        .Map
      </exports>
      <typeIds>
        .Map
      </typeIds>
      <types>
        .Map
      </types>
      <nextTypeIdx>
        0
      </nextTypeIdx>
      <funcIds>
        .Map
      </funcIds>
      <funcAddrs>
        .Map
      </funcAddrs>
      <nextFuncIdx>
        0
      </nextFuncIdx>
      <tabIds>
        .Map
      </tabIds>
      <tabAddrs>
        0 |-> 0
      </tabAddrs>
      <memIds>
        .Map
      </memIds>
      <memAddrs>
        .Map
      </memAddrs>
      <globIds>
        .Map
      </globIds>
      <globalAddrs>
        .Map
      </globalAddrs>
      <nextGlobIdx>
        0
      </nextGlobIdx>
    </moduleInst> <moduleInst>
      <modIdx>
        1
      </modIdx>
      <exports>
        .Map
      </exports>
      <typeIds>
        .Map
      </typeIds>
      <types>
        .Map
      </types>
      <nextTypeIdx>
        0
      </nextTypeIdx>
      <funcIds>
        .Map
      </funcIds>
      <funcAddrs>
        .Map
      </funcAddrs>
      <nextFuncIdx>
        0
      </nextFuncIdx>
      <tabIds>
        $named |-> 0
      </tabIds>
      <tabAddrs>
        0 |-> 1
      </tabAddrs>
      <memIds>
        .Map
      </memIds>
      <memAddrs>
        .Map
      </memAddrs>
      <globIds>
        .Map
      </globIds>
      <globalAddrs>
        .Map
      </globalAddrs>
      <nextGlobIdx>
        0
      </nextGlobIdx>
    </moduleInst> <moduleInst>
      <modIdx>
        2
      </modIdx>
      <exports>
        .Map
      </exports>
      <typeIds>
        .Map
      </typeIds>
      <types>
        .Map
      </types>
      <nextTypeIdx>
        0
      </nextTypeIdx>
      <funcIds>
        .Map
      </funcIds>
      <funcAddrs>
        .Map
      </funcAddrs>
      <nextFuncIdx>
        0
      </nextFuncIdx>
      <tabIds>
        .Map
      </tabIds>
      <tabAddrs>
        0 |-> 2
      </tabAddrs>
      <memIds>
        .Map
      </memIds>
      <memAddrs>
        .Map
      </memAddrs>
      <globIds>
        .Map
      </globIds>
      <globalAddrs>
        .Map
      </globalAddrs>
      <nextGlobIdx>
        0
      </nextGlobIdx>
    </moduleInst> <moduleInst>
      <modIdx>
        3
      </modIdx>
      <exports>
        .Map
      </exports>
      <typeIds>
        .Map
      </typeIds>
      <types>
        0 |-> [ .ValTypes ] -> [ .ValTypes ]
      </types>
      <nextTypeIdx>
        1
      </nextTypeIdx>
      <funcIds>
        $f |-> 0
        $g |-> 1
        $k |-> 2
      </funcIds>
      <funcAddrs>
        0 |-> 0
        1 |-> 1
        2 |-> 2
      </funcAddrs>
      <nextFuncIdx>
        3
      </nextFuncIdx>
      <tabIds>
        $named2 |-> 0
      </tabIds>
      <tabAddrs>
        0 |-> 3
      </tabAddrs>
      <memIds>
        .Map
      </memIds>
      <memAddrs>
        .Map
      </memAddrs>
      <globIds>
        .Map
      </globIds>
      <globalAddrs>
        .Map
      </globalAddrs>
      <nextGlobIdx>
        0
      </nextGlobIdx>
    </moduleInst> <moduleInst>
      <modIdx>
        4
      </modIdx>
      <exports>
        .Map
      </exports>
      <typeIds>
        .Map
      </typeIds>
      <types>
        0 |-> [ .ValTypes ] -> [ .ValTypes ]
      </types>
      <nextTypeIdx>
        1
      </nextTypeIdx>
      <funcIds>
        $f |-> 0
        $g |-> 1
      </funcIds>
      <funcAddrs>
        0 |-> 3
        1 |-> 4
      </funcAddrs>
      <nextFuncIdx>
        2
      </nextFuncIdx>
      <tabIds>
        .Map
      </tabIds>
      <tabAddrs>
        0 |-> 4
      </tabAddrs>
      <memIds>
        .Map
      </memIds>
      <memAddrs>
        .Map
      </memAddrs>
      <globIds>
        .Map
      </globIds>
      <globalAddrs>
        .Map
      </globalAddrs>
      <nextGlobIdx>
        0
      </nextGlobIdx>
    </moduleInst> <moduleInst>
      <modIdx>
        5
      </modIdx>
      <exports>
        "call-7" |-> #freshId ( 0 )
        "call-8" |-> #freshId ( 1 )
        "call-9" |-> #freshId ( 2 )
      </exports>
      <typeIds>
        $out-i32 |-> 0
      </typeIds>
      <types>
        0 |-> [ .ValTypes ] -> [ i32  .ValTypes ]
      </types>
      <nextTypeIdx>
        1
      </nextTypeIdx>
      <funcIds>
        #freshId ( 0 ) |-> 2
        #freshId ( 1 ) |-> 3
        #freshId ( 2 ) |-> 4
        $const-i32-a |-> 0
        $const-i32-b |-> 1
      </funcIds>
      <funcAddrs>
        0 |-> 5
        1 |-> 6
        2 |-> 7
        3 |-> 8
        4 |-> 9
      </funcAddrs>
      <nextFuncIdx>
        5
      </nextFuncIdx>
      <tabIds>
        $tab |-> 0
      </tabIds>
      <tabAddrs>
        0 |-> 5
      </tabAddrs>
      <memIds>
        .Map
      </memIds>
      <memAddrs>
        .Map
      </memAddrs>
      <globIds>
        .Map
      </globIds>
      <globalAddrs>
        .Map
      </globalAddrs>
      <nextGlobIdx>
        0
      </nextGlobIdx>
    </moduleInst>
  </moduleInstances>
  <nextModuleIdx>
    6
  </nextModuleIdx>
  <mainStore>
    <funcs>
      <funcDef>
        <fAddr>
          0
        </fAddr>
        <fCode>
          .EmptyStmts
        </fCode>
        <fType>
          [ .ValTypes ] -> [ .ValTypes ]
        </fType>
        <fLocal>
          [ .ValTypes ]
        </fLocal>
        <fModInst>
          3
        </fModInst>
      </funcDef> <funcDef>
        <fAddr>
          1
        </fAddr>
        <fCode>
          .EmptyStmts
        </fCode>
        <fType>
          [ .ValTypes ] -> [ .ValTypes ]
        </fType>
        <fLocal>
          [ .ValTypes ]
        </fLocal>
        <fModInst>
          3
        </fModInst>
      </funcDef> <funcDef>
        <fAddr>
          2
        </fAddr>
        <fCode>
          .EmptyStmts
        </fCode>
        <fType>
          [ .ValTypes ] -> [ .ValTypes ]
        </fType>
        <fLocal>
          [ .ValTypes ]
        </fLocal>
        <fModInst>
          3
        </fModInst>
      </funcDef> <funcDef>
        <fAddr>
          3
        </fAddr>
        <fCode>
          .EmptyStmts
        </fCode>
        <fType>
          [ .ValTypes ] -> [ .ValTypes ]
        </fType>
        <fLocal>
          [ .ValTypes ]
        </fLocal>
        <fModInst>
          4
        </fModInst>
      </funcDef> <funcDef>
        <fAddr>
          4
        </fAddr>
        <fCode>
          .EmptyStmts
        </fCode>
        <fType>
          [ .ValTypes ] -> [ .ValTypes ]
        </fType>
        <fLocal>
          [ .ValTypes ]
        </fLocal>
        <fModInst>
          4
        </fModInst>
      </funcDef> <funcDef>
        <fAddr>
          5
        </fAddr>
        <fCode>
          ( i32 . const 65 )  .EmptyStmts
        </fCode>
        <fType>
          [ .ValTypes ] -> [ i32  .ValTypes ]
        </fType>
        <fLocal>
          [ .ValTypes ]
        </fLocal>
        <fModInst>
          5
        </fModInst>
      </funcDef> <funcDef>
        <fAddr>
          6
        </fAddr>
        <fCode>
          ( i32 . const 66 )  .EmptyStmts
        </fCode>
        <fType>
          [ .ValTypes ] -> [ i32  .ValTypes ]
        </fType>
        <fLocal>
          [ .ValTypes ]
        </fLocal>
        <fModInst>
          5
        </fModInst>
      </funcDef> <funcDef>
        <fAddr>
          7
        </fAddr>
        <fCode>
          ( call_indirect (type $out-i32 ) i32 . const 7  .EmptyStmts )  .EmptyStmts
        </fCode>
        <fType>
          [ .ValTypes ] -> [ i32  .ValTypes ]
        </fType>
        <fLocal>
          [ .ValTypes ]
        </fLocal>
        <fModInst>
          5
        </fModInst>
      </funcDef> <funcDef>
        <fAddr>
          8
        </fAddr>
        <fCode>
          call_indirect (type $out-i32 )  ( i32 . const 8 )  .EmptyStmts
        </fCode>
        <fType>
          [ .ValTypes ] -> [ i32  .ValTypes ]
        </fType>
        <fLocal>
          [ .ValTypes ]
        </fLocal>
        <fModInst>
          5
        </fModInst>
      </funcDef> <funcDef>
        <fAddr>
          9
        </fAddr>
        <fCode>
          call_indirect (type $out-i32 )  ( i32 . const 9 )  .EmptyStmts
        </fCode>
        <fType>
          [ .ValTypes ] -> [ i32  .ValTypes ]
        </fType>
        <fLocal>
          [ .ValTypes ]
        </fLocal>
        <fModInst>
          5
        </fModInst>
      </funcDef>
    </funcs>
    <nextFuncAddr>
      10
    </nextFuncAddr>
    <tabs>
      <tabInst>
        <tAddr>
          0
        </tAddr>
        <tmax>
          .Int
        </tmax>
        <tsize>
          0
        </tsize>
        <tdata>
          .Map
        </tdata>
      </tabInst> <tabInst>
        <tAddr>
          1
        </tAddr>
        <tmax>
          .Int
        </tmax>
        <tsize>
          4
        </tsize>
        <tdata>
          .Map
        </tdata>
      </tabInst> <tabInst>
        <tAddr>
          2
        </tAddr>
        <tmax>
          21
        </tmax>
        <tsize>
          14
        </tsize>
        <tdata>
          .Map
        </tdata>
      </tabInst> <tabInst>
        <tAddr>
          3
        </tAddr>
        <tmax>
          3
        </tmax>
        <tsize>
          3
        </tsize>
        <tdata>
          0 |-> 0
          1 |-> 1
          2 |-> 2
        </tdata>
      </tabInst> <tabInst>
        <tAddr>
          4
        </tAddr>
        <tmax>
          .Int
        </tmax>
        <tsize>
          4
        </tsize>
        <tdata>
          1 |-> 3
          2 |-> 4
        </tdata>
      </tabInst> <tabInst>
        <tAddr>
          5
        </tAddr>
        <tmax>
          .Int
        </tmax>
        <tsize>
          10
        </tsize>
        <tdata>
          8 |-> 5
          9 |-> 6
        </tdata>
      </tabInst>
    </tabs>
    <nextTabAddr>
      6
    </nextTabAddr>
    <mems>
      .MemInstCellMap
    </mems>
    <nextMemAddr>
      0
    </nextMemAddr>
    <globals>
      .GlobalInstCellMap
    </globals>
    <nextGlobAddr>
      0
    </nextGlobAddr>
  </mainStore>
  <deterministicMemoryGrowth>
    true
  </deterministicMemoryGrowth>
  <nextFreshId>
    3
  </nextFreshId>
</wasm>
mv .build/defn/coverage/llvm/wasm-with-k-term-kompiled/*_coverage.txt deps/wasm-semantics/tests/simple/table.wast.coverage-llvm
./translateCoverage.py .build/defn/coverage/llvm/wasm-with-k-term-kompiled \
                       .build/defn/kwasm/haskell/wasm-with-k-term-kompiled    \
                       deps/wasm-semantics/tests/simple/table.wast.coverage-llvm > deps/wasm-semantics/tests/simple/table.wast.coverage-haskell
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: 39829d09cd22015bffcb353d92ce785ded60dbfe21b3a7dbb09e351f675bea32
=== Skipping non-semantic rule: 5d23b33ab0a160bfb6a44abe1521cac1c8caffef17f8a938db7fb31c5471fa5a
=== Skipping non-semantic rule: c951cc33f70eba478ab77f29364ef87d55eb4dd9c1445896be5f162728af1858
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: e3f841f080760e2003d056541d85a2765f7c85c9c78c6892f19ab5e33ecee255
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: 39829d09cd22015bffcb353d92ce785ded60dbfe21b3a7dbb09e351f675bea32
=== Skipping non-semantic rule: 5d23b33ab0a160bfb6a44abe1521cac1c8caffef17f8a938db7fb31c5471fa5a
=== Skipping non-semantic rule: c951cc33f70eba478ab77f29364ef87d55eb4dd9c1445896be5f162728af1858
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: e3f841f080760e2003d056541d85a2765f7c85c9c78c6892f19ab5e33ecee255
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: 39829d09cd22015bffcb353d92ce785ded60dbfe21b3a7dbb09e351f675bea32
=== Skipping non-semantic rule: 5d23b33ab0a160bfb6a44abe1521cac1c8caffef17f8a938db7fb31c5471fa5a
=== Skipping non-semantic rule: c951cc33f70eba478ab77f29364ef87d55eb4dd9c1445896be5f162728af1858
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: e3f841f080760e2003d056541d85a2765f7c85c9c78c6892f19ab5e33ecee255
=== Skipping non-semantic rule: e3f841f080760e2003d056541d85a2765f7c85c9c78c6892f19ab5e33ecee255
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: 39829d09cd22015bffcb353d92ce785ded60dbfe21b3a7dbb09e351f675bea32
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 5d23b33ab0a160bfb6a44abe1521cac1c8caffef17f8a938db7fb31c5471fa5a
=== Skipping non-semantic rule: c951cc33f70eba478ab77f29364ef87d55eb4dd9c1445896be5f162728af1858
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 28321dedd4203180231ce976852ea3e576fa18d0c36ac9ea291e613f09b95994
=== Skipping non-semantic rule: 28321dedd4203180231ce976852ea3e576fa18d0c36ac9ea291e613f09b95994
=== Skipping non-semantic rule: 28321dedd4203180231ce976852ea3e576fa18d0c36ac9ea291e613f09b95994
=== Skipping non-semantic rule: 289ec009ffdb5c744c152795e46f83338ae4e2b7308fae58391844a2a2b69014
=== Skipping non-semantic rule: 28321dedd4203180231ce976852ea3e576fa18d0c36ac9ea291e613f09b95994
=== Skipping non-semantic rule: 28321dedd4203180231ce976852ea3e576fa18d0c36ac9ea291e613f09b95994
=== Skipping non-semantic rule: 28321dedd4203180231ce976852ea3e576fa18d0c36ac9ea291e613f09b95994
=== Skipping non-semantic rule: 289ec009ffdb5c744c152795e46f83338ae4e2b7308fae58391844a2a2b69014
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: 39829d09cd22015bffcb353d92ce785ded60dbfe21b3a7dbb09e351f675bea32
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 5d23b33ab0a160bfb6a44abe1521cac1c8caffef17f8a938db7fb31c5471fa5a
=== Skipping non-semantic rule: edbe801df9fde086018a798497603ec543577b4cff4ca1c7b529f9c75579c50e
=== Skipping non-semantic rule: c951cc33f70eba478ab77f29364ef87d55eb4dd9c1445896be5f162728af1858
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: e3f841f080760e2003d056541d85a2765f7c85c9c78c6892f19ab5e33ecee255
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: 39829d09cd22015bffcb353d92ce785ded60dbfe21b3a7dbb09e351f675bea32
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: edbe801df9fde086018a798497603ec543577b4cff4ca1c7b529f9c75579c50e
=== Skipping non-semantic rule: edbe801df9fde086018a798497603ec543577b4cff4ca1c7b529f9c75579c50e
=== Skipping non-semantic rule: 5d23b33ab0a160bfb6a44abe1521cac1c8caffef17f8a938db7fb31c5471fa5a
=== Skipping non-semantic rule: 57bc2050118bfc7a4a059a4da14e9e498e082f9bfba1f6a592f733ba91b86bf8
=== Skipping non-semantic rule: c951cc33f70eba478ab77f29364ef87d55eb4dd9c1445896be5f162728af1858
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: c0e0bfc933ddfd02d1b7825ba5315a1b34e52fbb1199c892a72f071838d3f69f
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: c0e0bfc933ddfd02d1b7825ba5315a1b34e52fbb1199c892a72f071838d3f69f
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: c0e0bfc933ddfd02d1b7825ba5315a1b34e52fbb1199c892a72f071838d3f69f
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: c0e0bfc933ddfd02d1b7825ba5315a1b34e52fbb1199c892a72f071838d3f69f
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: c0e0bfc933ddfd02d1b7825ba5315a1b34e52fbb1199c892a72f071838d3f69f
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: e3f841f080760e2003d056541d85a2765f7c85c9c78c6892f19ab5e33ecee255
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: 5f787523727089903421592a31742b8064249ad4a105c1cec4f9f5c5a45620b1
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: df22dfd51cbcb136063f2fd7d892df22d06f49a6aede812d24b2fd927604b09e
=== Skipping non-semantic rule: 6c91f7bb1a0e986f49d0d463f2c940f03cbf9f9469e268500272b0e62e57cc2f
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: bd5a03a9fa10470da2cec110d65324bc984a4ce8346838199d4ccd593edd4897
=== Skipping non-semantic rule: dffa60b7120723f9fd90411eb24e5b17a75746ff973538716321a3e30d82174c
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: 5f787523727089903421592a31742b8064249ad4a105c1cec4f9f5c5a45620b1
=== Skipping non-semantic rule: 0b0468baa7af39732628fa9b1f8f9f4939edcaae98c58e01c3e46c0eaaa829ef
# SUBDEFN=coverage ./kpol run --backend haskell table.wast.coverage-haskell --rule-sequence
rm -rf .build/defn/coverage/llvm/wasm-with-k-term-kompiled/*_coverage.txt
SUBDEFN=coverage ./kpol run --backend llvm deps/wasm-semantics/tests/simple/imports.wast
<wasm>
  <k>
    global.set 0 ~> ( i32 . const 10 )  .EmptyStmts ~> label [ .ValTypes ] { .EmptyStmts } .ValStack ~> frame 1 .ValTypes .ValStack .Map 0 .Map ~> ( invoke $a "f" .EmptyStmts )  ( assert_return ( invoke  "foo" .EmptyStmts ) ( i32 . const 10 ) )  ( assert_return ( get $a "g" ) ( i32 . const 10 ) )  ( assert_return ( get  "x" ) ( i32 . const 10 ) )  #clearConfig  .EmptyStmts
  </k>
  <valstack>
    .ValStack
  </valstack>
  <curFrame>
    <locals>
      .Map
    </locals>
    <localIds>
      .Map
    </localIds>
    <curModIdx>
      1
    </curModIdx>
    <labelDepth>
      1
    </labelDepth>
    <labelIds>
      .Map
    </labelIds>
  </curFrame>
  <moduleRegistry>
    "m" |-> 0
  </moduleRegistry>
  <moduleIds>
    $a |-> 0
  </moduleIds>
  <moduleInstances>
    <moduleInst>
      <modIdx>
        0
      </modIdx>
      <exports>
        "f" |-> #freshId ( 1 )
        "func" |-> #freshId ( 1 )
        "g" |-> #freshId ( 0 )
        "glob" |-> #freshId ( 0 )
        "gunc" |-> #freshId ( 2 )
        "m" |-> #freshId ( 3 )
        "mem" |-> #freshId ( 3 )
      </exports>
      <typeIds>
        $t |-> 0
      </typeIds>
      <types>
        0 |-> [ .ValTypes ] -> [ .ValTypes ]
        1 |-> [ i64  i32  .ValTypes ] -> [ i32  .ValTypes ]
      </types>
      <nextTypeIdx>
        2
      </nextTypeIdx>
      <funcIds>
        #freshId ( 1 ) |-> 0
        #freshId ( 2 ) |-> 1
      </funcIds>
      <funcAddrs>
        0 |-> 0
        1 |-> 1
      </funcAddrs>
      <nextFuncIdx>
        2
      </nextFuncIdx>
      <tabIds>
        .Map
      </tabIds>
      <tabAddrs>
        .Map
      </tabAddrs>
      <memIds>
        #freshId ( 3 ) |-> 0
      </memIds>
      <memAddrs>
        0 |-> 0
      </memAddrs>
      <globIds>
        #freshId ( 0 ) |-> 0
      </globIds>
      <globalAddrs>
        0 |-> 0
      </globalAddrs>
      <nextGlobIdx>
        1
      </nextGlobIdx>
    </moduleInst> <moduleInst>
      <modIdx>
        1
      </modIdx>
      <exports>
        "foo" |-> #freshId ( 4 )
        "mod" |-> #freshId ( 5 )
        "x" |-> $x
      </exports>
      <typeIds>
        $t |-> 0
      </typeIds>
      <types>
        0 |-> [ i64  i32  .ValTypes ] -> [ i32  .ValTypes ]
        1 |-> [ .ValTypes ] -> [ i32  .ValTypes ]
        2 |-> [ .ValTypes ] -> [ .ValTypes ]
      </types>
      <nextTypeIdx>
        3
      </nextTypeIdx>
      <funcIds>
        #freshId ( 4 ) |-> 2
        #freshId ( 5 ) |-> 3
      </funcIds>
      <funcAddrs>
        0 |-> 1
        1 |-> 0
        2 |-> 2
        3 |-> 3
      </funcAddrs>
      <nextFuncIdx>
        4
      </nextFuncIdx>
      <tabIds>
        .Map
      </tabIds>
      <tabAddrs>
        .Map
      </tabAddrs>
      <memIds>
        .Map
      </memIds>
      <memAddrs>
        0 |-> 0
      </memAddrs>
      <globIds>
        $x |-> 1
      </globIds>
      <globalAddrs>
        0 |-> 0
        1 |-> 0
      </globalAddrs>
      <nextGlobIdx>
        2
      </nextGlobIdx>
    </moduleInst>
  </moduleInstances>
  <nextModuleIdx>
    2
  </nextModuleIdx>
  <mainStore>
    <funcs>
      <funcDef>
        <fAddr>
          0
        </fAddr>
        <fCode>
          .EmptyStmts
        </fCode>
        <fType>
          [ .ValTypes ] -> [ .ValTypes ]
        </fType>
        <fLocal>
          [ .ValTypes ]
        </fLocal>
        <fModInst>
          0
        </fModInst>
      </funcDef> <funcDef>
        <fAddr>
          1
        </fAddr>
        <fCode>
          ( local.get 1 )  .EmptyStmts
        </fCode>
        <fType>
          [ i64  i32  .ValTypes ] -> [ i32  .ValTypes ]
        </fType>
        <fLocal>
          [ .ValTypes ]
        </fLocal>
        <fModInst>
          0
        </fModInst>
      </funcDef> <funcDef>
        <fAddr>
          2
        </fAddr>
        <fCode>
          ( global.get 0 )  .EmptyStmts
        </fCode>
        <fType>
          [ .ValTypes ] -> [ i32  .ValTypes ]
        </fType>
        <fLocal>
          [ .ValTypes ]
        </fLocal>
        <fModInst>
          1
        </fModInst>
      </funcDef> <funcDef>
        <fAddr>
          3
        </fAddr>
        <fCode>
          global.set 0  ( i32 . const 10 )  .EmptyStmts
        </fCode>
        <fType>
          [ .ValTypes ] -> [ .ValTypes ]
        </fType>
        <fLocal>
          [ .ValTypes ]
        </fLocal>
        <fModInst>
          1
        </fModInst>
      </funcDef>
    </funcs>
    <nextFuncAddr>
      4
    </nextFuncAddr>
    <tabs>
      .TabInstCellMap
    </tabs>
    <nextTabAddr>
      0
    </nextTabAddr>
    <mems>
      <memInst>
        <mAddr>
          0
        </mAddr>
        <mmax>
          1
        </mmax>
        <msize>
          1
        </msize>
        <mdata>
          ByteMap <| 0 |-> 65 |>
        </mdata>
      </memInst>
    </mems>
    <nextMemAddr>
      1
    </nextMemAddr>
    <globals>
      <globalInst>
        <gAddr>
          0
        </gAddr>
        <gValue>
          < i32 > 42
        </gValue>
        <gMut>
          var
        </gMut>
      </globalInst>
    </globals>
    <nextGlobAddr>
      1
    </nextGlobAddr>
  </mainStore>
  <deterministicMemoryGrowth>
    true
  </deterministicMemoryGrowth>
  <nextFreshId>
    6
  </nextFreshId>
</wasm>
mv .build/defn/coverage/llvm/wasm-with-k-term-kompiled/*_coverage.txt deps/wasm-semantics/tests/simple/imports.wast.coverage-llvm
./translateCoverage.py .build/defn/coverage/llvm/wasm-with-k-term-kompiled \
                       .build/defn/kwasm/haskell/wasm-with-k-term-kompiled    \
                       deps/wasm-semantics/tests/simple/imports.wast.coverage-llvm > deps/wasm-semantics/tests/simple/imports.wast.coverage-haskell
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: 39829d09cd22015bffcb353d92ce785ded60dbfe21b3a7dbb09e351f675bea32
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 57bc2050118bfc7a4a059a4da14e9e498e082f9bfba1f6a592f733ba91b86bf8
=== Skipping non-semantic rule: b965202e736a876eb1a7f6a0f4e6464df4f77fc403852ec081f7e1194c744284
=== Skipping non-semantic rule: 45d33c909d875a1ca35ddd2708e1b5331856e0f4d5539d156c39e2102b624c59
=== Skipping non-semantic rule: c951cc33f70eba478ab77f29364ef87d55eb4dd9c1445896be5f162728af1858
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d1ac99cf2b083910fee47311cc72d3c9c60b8a1f6101cc6a5a469deea4e73d07
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: dff135660573c56c341b10c6f46f5e6c7a01cedb39e8ed1482d11c8bf858aabc
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: dff135660573c56c341b10c6f46f5e6c7a01cedb39e8ed1482d11c8bf858aabc
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: dff135660573c56c341b10c6f46f5e6c7a01cedb39e8ed1482d11c8bf858aabc
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 97d30a2af8ead969d781cd4639378a6c3e0e90ac0300fe5294c46e6163e7acab
=== Skipping non-semantic rule: 0531ddf15bcd76217bd7f18c4a68f64f6e3e7587900470ae0de3c7b63b0fa9e3
=== Skipping non-semantic rule: 0da430ae05c85fa8bd55d3285f5b028a55d77685259c2b72b174a06264a201a3
=== Skipping non-semantic rule: 8392e0c110c6bcb7cbf088cc05f386f55065602d1511ffc5045600ce41f428ca
=== Skipping non-semantic rule: d011975958c3040759e6aa964b6236f814c03395e983e930e86365358e716f6e
=== Skipping non-semantic rule: 2b5c8d5c4ed04704d2d9e9d3196423c5c6d30b9e78184783ffe54cc1c2968a4f
=== Skipping non-semantic rule: 65b5d65292863401ca17758f840ee339c5daa29771cf63be52270258377b9ad6
=== Skipping non-semantic rule: 79d74845326c0d8ed694452a87e25500f534a74281033acc5e1c17c4c72b58ab
=== Skipping non-semantic rule: d69fae1385ebfd86ce7f7ead0c140126b98a3cdf19c69265d07a288dec0671d6
=== Skipping non-semantic rule: 0a31a904c7a99265de2fdc2789cf49dcc4376df33fe37e6592193874a3e77316
=== Skipping non-semantic rule: 6d79e907301e8dc3c7d634ae0249133fa89800bdfe506ea43a2e7c1fe647a98b
=== Skipping non-semantic rule: 97d30a2af8ead969d781cd4639378a6c3e0e90ac0300fe5294c46e6163e7acab
=== Skipping non-semantic rule: 0531ddf15bcd76217bd7f18c4a68f64f6e3e7587900470ae0de3c7b63b0fa9e3
=== Skipping non-semantic rule: 0da430ae05c85fa8bd55d3285f5b028a55d77685259c2b72b174a06264a201a3
=== Skipping non-semantic rule: 8392e0c110c6bcb7cbf088cc05f386f55065602d1511ffc5045600ce41f428ca
=== Skipping non-semantic rule: d011975958c3040759e6aa964b6236f814c03395e983e930e86365358e716f6e
=== Skipping non-semantic rule: 2b5c8d5c4ed04704d2d9e9d3196423c5c6d30b9e78184783ffe54cc1c2968a4f
=== Skipping non-semantic rule: 65b5d65292863401ca17758f840ee339c5daa29771cf63be52270258377b9ad6
=== Skipping non-semantic rule: 79d74845326c0d8ed694452a87e25500f534a74281033acc5e1c17c4c72b58ab
=== Skipping non-semantic rule: d69fae1385ebfd86ce7f7ead0c140126b98a3cdf19c69265d07a288dec0671d6
=== Skipping non-semantic rule: 0a31a904c7a99265de2fdc2789cf49dcc4376df33fe37e6592193874a3e77316
=== Skipping non-semantic rule: 97d30a2af8ead969d781cd4639378a6c3e0e90ac0300fe5294c46e6163e7acab
=== Skipping non-semantic rule: 0531ddf15bcd76217bd7f18c4a68f64f6e3e7587900470ae0de3c7b63b0fa9e3
=== Skipping non-semantic rule: 0da430ae05c85fa8bd55d3285f5b028a55d77685259c2b72b174a06264a201a3
=== Skipping non-semantic rule: 8392e0c110c6bcb7cbf088cc05f386f55065602d1511ffc5045600ce41f428ca
=== Skipping non-semantic rule: d011975958c3040759e6aa964b6236f814c03395e983e930e86365358e716f6e
=== Skipping non-semantic rule: 2b5c8d5c4ed04704d2d9e9d3196423c5c6d30b9e78184783ffe54cc1c2968a4f
=== Skipping non-semantic rule: 65b5d65292863401ca17758f840ee339c5daa29771cf63be52270258377b9ad6
=== Skipping non-semantic rule: 79d74845326c0d8ed694452a87e25500f534a74281033acc5e1c17c4c72b58ab
=== Skipping non-semantic rule: d69fae1385ebfd86ce7f7ead0c140126b98a3cdf19c69265d07a288dec0671d6
=== Skipping non-semantic rule: 0a31a904c7a99265de2fdc2789cf49dcc4376df33fe37e6592193874a3e77316
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 0531ddf15bcd76217bd7f18c4a68f64f6e3e7587900470ae0de3c7b63b0fa9e3
=== Skipping non-semantic rule: 0da430ae05c85fa8bd55d3285f5b028a55d77685259c2b72b174a06264a201a3
=== Skipping non-semantic rule: 8392e0c110c6bcb7cbf088cc05f386f55065602d1511ffc5045600ce41f428ca
=== Skipping non-semantic rule: d011975958c3040759e6aa964b6236f814c03395e983e930e86365358e716f6e
=== Skipping non-semantic rule: 2b5c8d5c4ed04704d2d9e9d3196423c5c6d30b9e78184783ffe54cc1c2968a4f
=== Skipping non-semantic rule: 65b5d65292863401ca17758f840ee339c5daa29771cf63be52270258377b9ad6
=== Skipping non-semantic rule: 79d74845326c0d8ed694452a87e25500f534a74281033acc5e1c17c4c72b58ab
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: f159000959fc300905842a7446091603ec94aa4dd6a2d5bd6c26c40ad4c2d352
=== Skipping non-semantic rule: a34b3f129e3019dc054b47d88a4c699416b2a72fd6285ad1eb8365ff18c7d0da
=== Skipping non-semantic rule: 3b1066f2978fc1d157443ac0ea79c94e0ec0509fd7dfcf10cd8547fd34640de4
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: 39829d09cd22015bffcb353d92ce785ded60dbfe21b3a7dbb09e351f675bea32
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: a98f1bd137bc5a01b381e63d3ea5520dd852b3e44dec4997d13cfc9a5f2531c9
=== Skipping non-semantic rule: 45d33c909d875a1ca35ddd2708e1b5331856e0f4d5539d156c39e2102b624c59
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 57bc2050118bfc7a4a059a4da14e9e498e082f9bfba1f6a592f733ba91b86bf8
=== Skipping non-semantic rule: c2dfa5a7ea843e22776ce6a82571462f7a8cee183c7823fdf56e55c0af09a830
=== Skipping non-semantic rule: b965202e736a876eb1a7f6a0f4e6464df4f77fc403852ec081f7e1194c744284
=== Skipping non-semantic rule: c951cc33f70eba478ab77f29364ef87d55eb4dd9c1445896be5f162728af1858
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: dff135660573c56c341b10c6f46f5e6c7a01cedb39e8ed1482d11c8bf858aabc
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d1ac99cf2b083910fee47311cc72d3c9c60b8a1f6101cc6a5a469deea4e73d07
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: c0e0bfc933ddfd02d1b7825ba5315a1b34e52fbb1199c892a72f071838d3f69f
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d1ac99cf2b083910fee47311cc72d3c9c60b8a1f6101cc6a5a469deea4e73d07
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 6dcee4f3e575a33b557698f9a65b1e2549ab84e28bf53257754ee19fbc75f948
=== Skipping non-semantic rule: 6488162a3fb5f1b8c6f3909044828cfdd5aa552a84956e5609faa68242958907
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: 5f787523727089903421592a31742b8064249ad4a105c1cec4f9f5c5a45620b1
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: df22dfd51cbcb136063f2fd7d892df22d06f49a6aede812d24b2fd927604b09e
=== Skipping non-semantic rule: 6c91f7bb1a0e986f49d0d463f2c940f03cbf9f9469e268500272b0e62e57cc2f
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: bd5a03a9fa10470da2cec110d65324bc984a4ce8346838199d4ccd593edd4897
=== Skipping non-semantic rule: dffa60b7120723f9fd90411eb24e5b17a75746ff973538716321a3e30d82174c
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: 5f787523727089903421592a31742b8064249ad4a105c1cec4f9f5c5a45620b1
=== Skipping non-semantic rule: 0b0468baa7af39732628fa9b1f8f9f4939edcaae98c58e01c3e46c0eaaa829ef
=== Skipping non-semantic rule: 1c86bdc6221ec7499f398293899402171dd38c7c2169572db5a26b8b506bf2d2
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: dffa60b7120723f9fd90411eb24e5b17a75746ff973538716321a3e30d82174c
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: dffa60b7120723f9fd90411eb24e5b17a75746ff973538716321a3e30d82174c
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: 5f787523727089903421592a31742b8064249ad4a105c1cec4f9f5c5a45620b1
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: df22dfd51cbcb136063f2fd7d892df22d06f49a6aede812d24b2fd927604b09e
=== Skipping non-semantic rule: 6c91f7bb1a0e986f49d0d463f2c940f03cbf9f9469e268500272b0e62e57cc2f
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: bd5a03a9fa10470da2cec110d65324bc984a4ce8346838199d4ccd593edd4897
=== Skipping non-semantic rule: dffa60b7120723f9fd90411eb24e5b17a75746ff973538716321a3e30d82174c
=== Skipping non-semantic rule: 3601ba0c0f85f71c0a91a4d4395e49a879b3fd88738b7f14e7b8861589030651
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: 5f787523727089903421592a31742b8064249ad4a105c1cec4f9f5c5a45620b1
=== Skipping non-semantic rule: 0b0468baa7af39732628fa9b1f8f9f4939edcaae98c58e01c3e46c0eaaa829ef
# SUBDEFN=coverage ./kpol run --backend haskell imports.wast.coverage-haskell --rule-sequence
rm deps/wasm-semantics/tests/simple/table.wast.coverage-llvm deps/wasm-semantics/tests/simple/identifiers.wast.coverage-llvm deps/wasm-semantics/tests/simple/address-c.wast.coverage-llvm deps/wasm-semantics/tests/simple/variables.wast.coverage-llvm deps/wasm-semantics/tests/simple/unicode.wast.coverage-llvm deps/wasm-semantics/tests/simple/comments.wast.coverage-llvm deps/wasm-semantics/tests/simple/start.wast.coverage-llvm deps/wasm-semantics/tests/simple/data.wast.coverage-llvm deps/wasm-semantics/tests/simple/branching.wast.coverage-llvm deps/wasm-semantics/tests/simple/conversion.wast.coverage-llvm deps/wasm-semantics/tests/simple/imports.wast.coverage-llvm deps/wasm-semantics/tests/simple/integers.wast.coverage-llvm deps/wasm-semantics/tests/simple/modules.wast.coverage-llvm
[Pipeline] }
[Pipeline] // timeout
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // parallel
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // ansiColor
[Pipeline] }
$ docker stop --time=1 fded240e693d2e023ccb72eb5202a736d14727366f447489d9eddf78f83a61b3
$ docker rm -f fded240e693d2e023ccb72eb5202a736d14727366f447489d9eddf78f83a61b3
[Pipeline] // withDockerContainer
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline

GitHub has been notified of this commit’s build result

Finished: SUCCESS