Tweak pytest fixture to produce bug reports for integration tests

runtimeverification / kasmer-multiversx

Wasm semantics for the Elrond/MultiversX blockchain network

BSD 3-Clause "New" or "Revised" License

0 stars 0 forks source link

Tweak pytest fixture to produce bug reports for integration tests #100

Closed jberthold closed 6 months ago

jberthold commented 6 months ago

This change enables generating bug reports for the tests under kmxwasm/src/test/integration. Because of the per-session kompiled fixture, the compilation work is still shared (this is what I observed when I ran the tests locally), although the tools are now per function.