Compare revisions

fd17255c · fd17255c · fd17255c · fd17255c · fd17255c · fd17255c
--- a/stdpp_unstable/bitblast.v
+++ b/stdpp_unstable/bitblast.v
--- a/stdpp_unstable/dune
+++ b/stdpp_unstable/dune
--- a/test-normalizer.sed
+++ b/test-normalizer.sed
+# locations in Fail added in https://github.com/coq/coq/pull/15174
+/^File/d
--- a/tests/ascii.ref
+++ b/tests/ascii.ref
--- a/tests/ascii.v
+++ b/tests/ascii.v
--- a/opam.pins
+++ b/opam.pins
--- a/tests/bitblast.v
+++ b/tests/bitblast.v
--- a/tests/bitvector_definitions.ref
+++ b/tests/bitvector_definitions.ref
--- a/tests/bitvector_definitions.v
+++ b/tests/bitvector_definitions.v
--- a/tests/bitvector_tactics.ref
+++ b/tests/bitvector_tactics.ref
--- a/tests/bitvector_tactics.v
+++ b/tests/bitvector_tactics.v
--- a/tests/decidable.ref
+++ b/tests/decidable.ref
--- a/tests/decidable.v
+++ b/tests/decidable.v
--- a/tests/eunify.ref
+++ b/tests/eunify.ref
--- a/tests/eunify.v
+++ b/tests/eunify.v
--- a/tests/fin.ref
+++ b/tests/fin.ref
--- a/tests/fin.v
+++ b/tests/fin.v
--- a/tests/fin_maps.ref
+++ b/tests/fin_maps.ref
--- a/tests/fin_maps.v
+++ b/tests/fin_maps.v
--- a/tests/is_closed_term.ref
+++ b/tests/is_closed_term.ref
No results found