From 9c09789c26dd8142b8a29b42e250a685aa983e58 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 27 May 2024 11:22:37 +0200
Subject: runner: Support negative tests

---
 tests/src/string-chars.rs | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 tests/src/string-chars.rs

(limited to 'tests/src/string-chars.rs')

diff --git a/tests/src/string-chars.rs b/tests/src/string-chars.rs
new file mode 100644
index 00000000..5ba9a2d6
--- /dev/null
+++ b/tests/src/string-chars.rs
@@ -0,0 +1,6 @@
+//@ [lean] known-failure
+//@ [coq,fstar] skip
+fn main() {
+    let s = "hello";
+    let _chs: Vec<char> = s.chars().collect();
+}
-- 
cgit v1.2.3


From fb16d0af4caacd2c9a3463f6d2b455209b755697 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 27 May 2024 14:34:12 +0200
Subject: runner: Add `no-check-output` option for unstable outputs

---
 tests/src/string-chars.rs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tests/src/string-chars.rs')

diff --git a/tests/src/string-chars.rs b/tests/src/string-chars.rs
index 5ba9a2d6..f8490e76 100644
--- a/tests/src/string-chars.rs
+++ b/tests/src/string-chars.rs
@@ -1,5 +1,6 @@
 //@ [lean] known-failure
 //@ [coq,fstar] skip
+//@ no-check-output
 fn main() {
     let s = "hello";
     let _chs: Vec<char> = s.chars().collect();
-- 
cgit v1.2.3