Fix replay of should_fail tests.

creusot-rs / creusot

Creusot helps you prove your code is correct in an automated fashion.

GNU Lesser General Public License v2.1

1.12k stars 50 forks source link

Closed jhjourdan closed 2 weeks ago

jhjourdan commented 2 weeks ago

Fixes #1090.