AlphaGitHub
Source/Packages

ResourcePlanContract

packages/hardware/platforms/linux-nvidia/tests/ResourcePlanContract.alpha

639 lines74 declarations22.9 KiBSHA-256 df18db61c507
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 560–636

observations

Full file
560def observations =
561  (bytes-append
562    (dataBytesWord64LE (modelWord64FromNaturalTruncated resultdirectLayout))
563    (bytes-append
564      (dataBytesWord64LE (modelWord64FromNaturalTruncated resultdirectHostCharge))
565      (bytes-append
566        (dataBytesWord64LE (modelWord64FromNaturalTruncated resultdirectVideoCharge))
567        (bytes-append
568          (dataBytesWord64LE (modelWord64FromNaturalTruncated resultsystemPageCharge))
569          (bytes-append
570            (dataBytesWord64LE (modelWord64FromNaturalTruncated resultpagedSystemCharge))
571            (bytes-append
572              (dataBytesWord64LE (modelWord64FromNaturalTruncated resultcachedSystemCharge))
573              (bytes-append
574                (dataBytesWord64LE (modelWord64FromNaturalTruncated resultvideoPageCharge))
575                (bytes-append
576                  (dataBytesWord64LE (modelWord64FromNaturalTruncated resultmappedErrorSameCharge))
577                  (bytes-append
578                    (dataBytesWord64LE
579                      (modelWord64FromNaturalTruncated resulterrorUnmappedStillCharged))
580                    (bytes-append
581                      (dataBytesWord64LE (modelWord64FromNaturalTruncated resultexactHostAndVideo))
582                      (bytes-append
583                        (dataBytesWord64LE (modelWord64FromNaturalTruncated resultshortHost))
584                        (bytes-append
585                          (dataBytesWord64LE (modelWord64FromNaturalTruncated resultshortVideo))
586                          (bytes-append
587                            (dataBytesWord64LE
588                              (modelWord64FromNaturalTruncated resultlargerDeviceStateRefused))
589                            (bytes-append
590                              (dataBytesWord64LE (modelWord64FromNaturalTruncated resultuvmLayout))
591                              (bytes-append
592                                (dataBytesWord64LE
593                                  (modelWord64FromNaturalTruncated resultuvmHostCharge))
594                                (bytes-append
595                                  (dataBytesWord64LE
596                                    (modelWord64FromNaturalTruncated resultuvmVideoAliasChargedOnce))
597                                  (bytes-append
598                                    (dataBytesWord64LE
599                                      (modelWord64FromNaturalTruncated resultuvmExactReservation))
600                                    (bytes-append
601                                      (dataBytesWord64LE
602                                        (modelWord64FromNaturalTruncated
603                                        resultuvmAliasOutsideRefused))
604                                      (bytes-append
605                                        (dataBytesWord64LE
606                                        (modelWord64FromNaturalTruncated resulttwoDevicesExact))
607                                        (bytes-append
608                                        (dataBytesWord64LE
609                                        (modelWord64FromNaturalTruncated
610                                        resultsharedHostOneByteShort))
611                                        (bytes-append
612                                        (dataBytesWord64LE
613                                        (modelWord64FromNaturalTruncated
614                                        resultfirstCannotBorrowSecondVideo))
615                                        (bytes-append
616                                        (dataBytesWord64LE
617                                        (modelWord64FromNaturalTruncated
618                                        resultsecondCannotBorrowFirstVideo))
619                                        (bytes-append
620                                        (dataBytesWord64LE
621                                        (modelWord64FromNaturalTruncated
622                                        resultduplicateAllocationNamesRefused))
623                                        (bytes-append
624                                        (dataBytesWord64LE
625                                        (modelWord64FromNaturalTruncated resultzeroMappingRefused))
626                                        (bytes-append
627                                        (dataBytesWord64LE
628                                        (modelWord64FromNaturalTruncated
629                                        resultwordRoundingOverflowRefused))
630                                        (bytes-append
631                                        (dataBytesWord64LE
632                                        (modelWord64FromNaturalTruncated resultstagingIncluded))
633                                        (bytes-append
634                                        (dataBytesWord64LE
635                                        (modelWord64FromNaturalTruncated resultstagingOneByteShort))
636                                        b"")))))))))))))))))))))))))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.