Skip to main content

Browse the archive

Revision f9d2bf623e6116804b85314f1a9a7d863521b0c2 authored by Pierre-Yves Strub on 23 August 2022, 15:09:17 UTC, committed by Pierre-Yves Strub on 23 August 2022, 16:00:41 UTC 
When replaying a reduction rule, check that the rule does still exists.
 
Currently, when the reduction rule does not exist anymore (because
it has been removed by the inlining mechanism), the cloning fails
with a lookup error.

Ref #247
1 parent 6d0e464
History
File Mode Size
docker
install
packaging
srctx
testing
dune -rw-r--r-- 15 bytes
back to top