github.com/gnolang/gno@v0.0.0-20240520182011-228e9d0192ce/gnovm/cmd/gno/testdata/gno_test/realm_correct.txtar (about)

     1  # Test Realm instruction correct
     2  
     3  gno test -v .
     4  
     5  ! stdout .+ # stdout should be empty
     6  stderr '=== RUN   file/x_filetest.gno'
     7  stderr '--- PASS: file/x_filetest.gno \(\d\.\d\ds\)'
     8  stderr 'ok      \. 	\d\.\d\ds'
     9  
    10  -- x_filetest.gno --
    11  // PKGPATH: gno.land/r/x
    12  package x
    13  
    14  var x int
    15  
    16  func main() {
    17  	x = 1
    18  }
    19  
    20  // Realm:
    21  // switchrealm["gno.land/r/x"]
    22  // u[58cde29876a8d185e30c727361981efb068f4726:2]={
    23  //     "Blank": {},
    24  //     "ObjectInfo": {
    25  //         "ID": "58cde29876a8d185e30c727361981efb068f4726:2",
    26  //         "IsEscaped": true,
    27  //         "ModTime": "3",
    28  //         "RefCount": "2"
    29  //     },
    30  //     "Parent": null,
    31  //     "Source": {
    32  //         "@type": "/gno.RefNode",
    33  //         "BlockNode": null,
    34  //         "Location": {
    35  //             "File": "",
    36  //             "Line": "0",
    37  //             "Nonce": "0",
    38  //             "PkgPath": "gno.land/r/x"
    39  //         }
    40  //     },
    41  //     "Values": [
    42  //         {
    43  //             "T": {
    44  //                 "@type": "/gno.FuncType",
    45  //                 "Params": [],
    46  //                 "Results": []
    47  //             },
    48  //             "V": {
    49  //                 "@type": "/gno.FuncValue",
    50  //                 "Closure": {
    51  //                     "@type": "/gno.RefValue",
    52  //                     "Escaped": true,
    53  //                     "ObjectID": "58cde29876a8d185e30c727361981efb068f4726:3"
    54  //                 },
    55  //                 "FileName": "main.gno",
    56  //                 "IsMethod": false,
    57  //                 "Name": "main",
    58  //                 "NativeName": "",
    59  //                 "NativePkg": "",
    60  //                 "PkgPath": "gno.land/r/x",
    61  //                 "Source": {
    62  //                     "@type": "/gno.RefNode",
    63  //                     "BlockNode": null,
    64  //                     "Location": {
    65  //                         "File": "main.gno",
    66  //                         "Line": "6",
    67  //                         "Nonce": "0",
    68  //                         "PkgPath": "gno.land/r/x"
    69  //                     }
    70  //                 },
    71  //                 "Type": {
    72  //                     "@type": "/gno.FuncType",
    73  //                     "Params": [],
    74  //                     "Results": []
    75  //                 }
    76  //             }
    77  //         },
    78  //         {
    79  //             "N": "AQAAAAAAAAA=",
    80  //             "T": {
    81  //                 "@type": "/gno.PrimitiveType",
    82  //                 "value": "32"
    83  //             }
    84  //         }
    85  //     ]
    86  // }
    87