Skip to content

Commit 38ad95a

Browse files
rv-jenkinsrv-auditorbbyalcinkaya
authored
Update dependency: deps/k_release (#716)
* deps/k_release: Set Version 7.1.193 * pykwasm/: sync poetry files 7.1.193 * flake.{nix,lock}: update Nix derivations * Set Version: 0.1.119 * deps/k_release: Set Version 7.1.194 * pykwasm/: sync poetry files 7.1.194 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.195 * pykwasm/: sync poetry files 7.1.195 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.196 * pykwasm/: sync poetry files 7.1.196 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.198 * pykwasm/: sync poetry files 7.1.198 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.199 * pykwasm/: sync poetry files 7.1.199 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.201 * pykwasm/: sync poetry files 7.1.201 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.202 * pykwasm/: sync poetry files 7.1.202 * flake.{nix,lock}: update Nix derivations * fix poetry version * deps/k_release: Set Version 7.1.203 * pykwasm/: sync poetry files 7.1.203 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.204 * pykwasm/: sync poetry files 7.1.204 * flake.{nix,lock}: update Nix derivations * increase smt timeout * pykwasm/: sync poetry files 7.1.204 * deps/k_release: Set Version 7.1.207 * pykwasm/: sync poetry files 7.1.207 * flake.{nix,lock}: update Nix derivations * increase smt timeout * deps/k_release: Set Version 7.1.208 * pykwasm/: sync poetry files 7.1.208 * flake.{nix,lock}: update Nix derivations * increase CI time limits * pykwasm/: sync poetry files 7.1.208 * deps/k_release: Set Version 7.1.211 * pykwasm/: sync poetry files 7.1.211 * flake.{nix,lock}: update Nix derivations * Set Version: 0.1.120 * Set Version: 0.1.121 * pykwasm/: sync poetry files 7.1.211 * deps/k_release: Set Version 7.1.217 * pykwasm/: sync poetry files 7.1.217 * flake.{nix,lock}: update Nix derivations * format * deps/k_release: Set Version 7.1.218 * pykwasm/: sync poetry files 7.1.218 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.219 * pykwasm/: sync poetry files 7.1.219 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.220 * pykwasm/: sync poetry files 7.1.220 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.222 * pykwasm/: sync poetry files 7.1.222 * flake.{nix,lock}: update Nix derivations * exclude failing tests --------- Co-authored-by: devops <[email protected]> Co-authored-by: Burak Bilge Yalcinkaya <[email protected]>
1 parent 00f366c commit 38ad95a

File tree

10 files changed

+760
-231
lines changed

10 files changed

+760
-231
lines changed

‎.github/workflows/test-pr.yml

+2-2
Original file line numberDiff line numberDiff line change
@@ -87,7 +87,7 @@ jobs:
8787
name: 'Prover Tests'
8888
needs: pykwasm-code-quality-checks
8989
runs-on: [self-hosted, linux, normal]
90-
timeout-minutes: 30
90+
timeout-minutes: 45
9191
steps:
9292
- name: 'Check out code'
9393
uses: actions/checkout@v3
@@ -118,7 +118,7 @@ jobs:
118118
- runner: ARM64
119119
needs: pykwasm-code-quality-checks
120120
runs-on: ${{ matrix.runner }}
121-
timeout-minutes: 60
121+
timeout-minutes: 90
122122
steps:
123123
- name: 'Check out code'
124124
uses: actions/checkout@v3

‎Makefile

+5-3
Original file line numberDiff line numberDiff line change
@@ -60,7 +60,7 @@ tests/%.parse: tests/%
6060

6161
tests/%.prove: tests/%
6262
$(eval SOURCE_DIR := $(shell $(KDIST) which wasm-semantics.source))
63-
$(TEST) prove $< kwasm-lemmas -I $(SOURCE_DIR)/wasm-semantics -w2e
63+
$(TEST) prove $< kwasm-lemmas -I $(SOURCE_DIR)/wasm-semantics -w2e --haskell-backend-command "kore-exec --smt-timeout 5000"
6464

6565
tests/proofs/wrc20-spec.k.prove: tests/proofs/wrc20-spec.k
6666
$(eval SOURCE_DIR := $(shell $(KDIST) which wasm-semantics.source))
@@ -91,9 +91,11 @@ test-conformance: test-conformance-parse test-conformance-supported
9191

9292
### Proof Tests
9393

94-
proof_tests:=$(wildcard tests/proofs/*-spec.k)
94+
proof_tests := $(wildcard tests/proofs/*-spec.k)
95+
proof_tests_failing := $(shell cat tests/failing.proofs)
96+
proof_tests_passing := $(filter-out $(proof_tests_failing), $(proof_tests))
9597

96-
test-prove: $(proof_tests:=.prove)
98+
test-prove: $(proof_tests_passing:=.prove)
9799

98100

99101
# Analysis

‎deps/k_release

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
7.1.191
1+
7.1.222

‎flake.lock

+16-16
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎flake.nix

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
description = "K Semantics of WebAssembly";
33

44
inputs = {
5-
k-framework.url = "github:runtimeverification/k/v7.1.191";
5+
k-framework.url = "github:runtimeverification/k/v7.1.222";
66
nixpkgs.follows = "k-framework/nixpkgs";
77
flake-utils.follows = "k-framework/flake-utils";
88
rv-utils.follows = "k-framework/rv-utils";

‎package/version

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
0.1.120
1+
0.1.121

0 commit comments

Comments
 (0)