Move no_main test to compile-fail

This commit is contained in:
Justus K 2020-07-09 17:21:09 +02:00
parent c93fc933bd
commit d23e245f38
No known key found for this signature in database
GPG Key ID: 4FD4C583E437B8AA
3 changed files with 2 additions and 3 deletions

View File

@ -0,0 +1,2 @@
// error-pattern: miri can only run programs that have a main function
#![no_main]

View File

@ -1 +0,0 @@
#![no_main]

View File

@ -1,2 +0,0 @@
error: miri can only run programs that have a main function