Merge pull request #149 from AeneasVerif/output

Don't commit platform-dependent outputs
AeneasVerif · Apr 25, 2024 · f07b385 · f07b385
2 parents 04b69a9 + ca3e8cc
commit f07b385
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 74 deletions.
diff --git a/charon/tests/ui/unsupported/vec-push.out b/charon/tests/ui/unsupported/vec-push.out
diff --git a/charon/tests/ui/unsupported/vec-push.rs b/charon/tests/ui/unsupported/vec-push.rs
@@ -1,4 +1,5 @@
 //@ known-failure
+//@ no-check-output
 //@ charon-args=--extract-opaque-bodies
 
 fn vec(x: &mut Vec<u32>) {