Line data    Source code

       1           1 : /**
       2             :  * @file test/integration/model/output.c
       3             :  *
       4             :  * @brief Expected output of the model used to verify the runtime correctness
       5             :  *
       6             :  * SPDX-FileCopyrightText: 2008-2021 HPDCS Group <rootsim@googlegroups.com>
       7             :  * SPDX-License-Identifier: GPL-3.0-only
       8             :  */
       9             : #include <integration/model/application.h>
      10             : 
      11           0 : const char model_expected_output_64[679] =
      12             : "3726647760\n"
      13             : "3174713409\n"
      14             : "3027703912\n"
      15             : "3472906050\n"
      16             : "2768435609\n"
      17             : "30876481\n"
      18             : "3652112233\n"
      19             : "2838159640\n"
      20             : "2710657679\n"
      21             : "516578102\n"
      22             : "3384061809\n"
      23             : "514990653\n"
      24             : "933844612\n"
      25             : "1017921939\n"
      26             : "209130230\n"
      27             : "656387599\n"
      28             : "2417628082\n"
      29             : "578684079\n"
      30             : "3244486473\n"
      31             : "1616301451\n"
      32             : "159346707\n"
      33             : "245630906\n"
      34             : "442742032\n"
      35             : "123577263\n"
      36             : "408100334\n"
      37             : "1756058799\n"
      38             : "1693200219\n"
      39             : "2142519447\n"
      40             : "633238434\n"
      41             : "689984694\n"
      42             : "1639171372\n"
      43             : "2508457550\n"
      44             : "3576436331\n"
      45             : "382777790\n"
      46             : "4000460460\n"
      47             : "3942744827\n"
      48             : "2516673579\n"
      49             : "3340066961\n"
      50             : "3694353289\n"
      51             : "3359573435\n"
      52             : "2491437036\n"
      53             : "1402895047\n"
      54             : "1244403829\n"
      55             : "3555759029\n"
      56             : "319606978\n"
      57             : "1878045198\n"
      58             : "364305069\n"
      59             : "2529877607\n"
      60             : "190003328\n"
      61             : "2390618295\n"
      62             : "1288138510\n"
      63             : "1163149538\n"
      64             : "3381677784\n"
      65             : "413329318\n"
      66             : "406725988\n"
      67             : "1288740512\n"
      68             : "4088880859\n"
      69             : "777305380\n"
      70             : "1156178798\n"
      71             : "3765539574\n"
      72             : "53484166\n"
      73             : "789147443\n"
      74             : "3590306516\n"
      75             : "3891331284\n";