Testing: Revert pub changes in main function (#662)

Author: adpaco-aws

rmc-docs/src/install-guide.md

@@ -4,7 +4,7 @@ fn foo() -> Option<i32> {
     None
 }
 
-pub fn main() {
+fn main() {
     assert!(foo() == None);
     let x = foo();
     let y: Option<i32> = None;

src/test/expected/allocation/main.rs

@@ -5,7 +5,7 @@ fn foo(x: [i32; 5]) -> [i32; 2] {
     [x[0], x[1]]
 }
 
-pub fn main() {
+fn main() {
     let x = [1, 2, 3, 4, 5];
     let y = foo(x);
     let z = 2;

src/test/expected/array/main.rs

@@ -9,7 +9,7 @@
 ///     "library/std/src/macros.rs line 17 a panicking function core::panicking::panic_fmt is invoked: SUCCESS"
 ///     https://github.com/model-checking/rmc/issues/13
 
-pub fn main() {
+fn main() {
     let x = 1;
     let y = 2;
     assert_eq!(x + 1, y);

src/test/expected/assert-eq/main.rs

@@ -55,7 +55,7 @@ fn ibxor_test(a: i32, b: i32, correct: i32, wrong: i32) {
     assert!(a ^ b == wrong);
 }
 
-pub fn main() {
+fn main() {
     iadd_test(1, 2, 3, 4);
     isub_test(3, 4, -1, 0);
     imul_test(5, 6, 30, 60);

src/test/expected/binop/main.rs

@@ -8,7 +8,7 @@ where
     some_closure(1, 1);
 }
 
-pub fn main() {
+fn main() {
     let mut num: i32 = rmc::nondet();
     let y = 2;
     if num <= std::i32::MAX - 100 {

src/test/expected/closure/main.rs

@@ -1,6 +1,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: Apache-2.0 OR MIT
-pub fn main() {
+fn main() {
     let x = 2;
     let f = |y| x + y;
     let z = f(100);

src/test/expected/closure2/main.rs

@@ -7,7 +7,7 @@ where
     f(10)
 }
 
-pub fn main() {
+fn main() {
     let num: i64 = rmc::nondet();
     if num <= std::i64::MAX - 100 {
         // avoid overflow

src/test/expected/closure3/main.rs

@@ -12,7 +12,7 @@ fn eq2(a: i32, b: i32) {
     assert!(a - b < a);
 }
 
-pub fn main() {
+fn main() {
     let a = rmc::nondet();
     let b = rmc::nondet();
     if a > -400 && a < 100 && b < 200 && b > 0 {

src/test/expected/comp/main.rs

@@ -2,7 +2,7 @@
 // SPDX-License-Identifier: Apache-2.0 OR MIT
 use std::ptr;
 
-pub fn main() {
+fn main() {
     // TODO: make an overlapping set of locations, and check that it does the right thing for the overlapping region too.
     // https://github.com/model-checking/rmc/issues/12
     let expected_val = 42;