update expectations for failing tests once more

runtimeverification · Jan 16, 2025 · 31fbd24 · 31fbd24
1 parent 776fefc
commit 31fbd24
Show file tree

Hide file tree

Showing 10 changed files with 8,437 additions and 80,650 deletions.
diff --git a/tests/integration/failing/array.smir.json.expected b/tests/integration/failing/array.smir.json.expected
diff --git a/tests/integration/failing/box.smir.json.expected b/tests/integration/failing/box.smir.json.expected
diff --git a/tests/integration/failing/defined-trait.smir.json.expected b/tests/integration/failing/defined-trait.smir.json.expected
diff --git a/tests/integration/failing/derive-copy-struct.smir.json.expected b/tests/integration/failing/derive-copy-struct.smir.json.expected
diff --git a/tests/integration/failing/generic.smir.json.expected b/tests/integration/failing/generic.smir.json.expected
diff --git a/tests/integration/failing/panic_example.smir.json.expected b/tests/integration/failing/panic_example.smir.json.expected
diff --git a/tests/integration/failing/std-string-empty.smir.json.expected b/tests/integration/failing/std-string-empty.smir.json.expected
diff --git a/tests/integration/failing/std-to-string.smir.json.expected b/tests/integration/failing/std-to-string.smir.json.expected
diff --git a/tests/integration/failing/str-empty.smir.json.expected b/tests/integration/failing/str-empty.smir.json.expected
diff --git a/tests/integration/failing/str-trivial.smir.json.expected b/tests/integration/failing/str-trivial.smir.json.expected