/src/wrappers/common/test/eiffeltest/log.ref
Unknown | 938 lines | 938 code | 0 blank | 0 comment | 0 complexity | af7ddcee1c51df75b2c548f20654e15f MD5 | raw file
Large files files are truncated, but you can click here to view the full file
1This log file was generated by "se test" version #1.0. 2The "log.new" file must be identical to the "log.ref" file. 3The reference file is "log.ref" and this file must be created manually. 4If you confirm that "log.new" is correct, just overwrite "log.ref" with "log.new". 5-------------------------------------------------------------------------------- 6Found 6 test_* file(s). 7Found 0 bad_* file(s). 8No subdirectory. 9-------------------------------------------------------------------------------- 10se c -boost test_const_string.e -o test_const_string.exe 11Running (-boost) "test_const_string.exe". 12se clean test_const_string.e 13Removing (-boost) "test_const_string.exe". 14se c -flat_check -debug_check test_const_string.e -o test_const_string.exe 15Running (-flat_check -debug_check) "test_const_string.exe". 16se clean test_const_string.e 17Removing (-flat_check -debug_check) "test_const_string.exe". 18se c -no_check test_const_string.e -o test_const_string.exe 19Running (-no_check) "test_const_string.exe". 20se clean test_const_string.e 21Removing (-no_check) "test_const_string.exe". 22se c -flat_check -require_check test_const_string.e -o test_const_string.exe 23Running (-flat_check -require_check) "test_const_string.exe". 24se clean test_const_string.e 25Removing (-flat_check -require_check) "test_const_string.exe". 26se c -flat_check -ensure_check test_const_string.e -o test_const_string.exe 27Running (-flat_check -ensure_check) "test_const_string.exe". 28se clean test_const_string.e 29Removing (-flat_check -ensure_check) "test_const_string.exe". 30se c -flat_check -invariant_check test_const_string.e -o test_const_string.exe 31Running (-flat_check -invariant_check) "test_const_string.exe". 32se clean test_const_string.e 33Removing (-flat_check -invariant_check) "test_const_string.exe". 34se c -flat_check -loop_check test_const_string.e -o test_const_string.exe 35Running (-flat_check -loop_check) "test_const_string.exe". 36se clean test_const_string.e 37Removing (-flat_check -loop_check) "test_const_string.exe". 38se c -flat_check -all_check test_const_string.e -o test_const_string.exe 39Running (-flat_check -all_check) "test_const_string.exe". 40se clean test_const_string.e 41Removing (-flat_check -all_check) "test_const_string.exe". 42se c -no_gc -boost test_const_string.e -o test_const_string.exe 43Running (-no_gc -boost) "test_const_string.exe". 44se clean test_const_string.e 45Removing (-no_gc -boost) "test_const_string.exe". 46se c -no_gc -flat_check -debug_check test_const_string.e -o test_const_string.exe 47Running (-no_gc -flat_check -debug_check) "test_const_string.exe". 48se clean test_const_string.e 49Removing (-no_gc -flat_check -debug_check) "test_const_string.exe". 50se c -no_gc -no_check test_const_string.e -o test_const_string.exe 51Running (-no_gc -no_check) "test_const_string.exe". 52se clean test_const_string.e 53Removing (-no_gc -no_check) "test_const_string.exe". 54se c -no_gc -flat_check -require_check test_const_string.e -o test_const_string.exe 55Running (-no_gc -flat_check -require_check) "test_const_string.exe". 56se clean test_const_string.e 57Removing (-no_gc -flat_check -require_check) "test_const_string.exe". 58se c -no_gc -ensure_check test_const_string.e -o test_const_string.exe 59Running (-no_gc -ensure_check) "test_const_string.exe". 60se clean test_const_string.e 61Removing (-no_gc -ensure_check) "test_const_string.exe". 62se c -no_gc -flat_check -invariant_check test_const_string.e -o test_const_string.exe 63Running (-no_gc -flat_check -invariant_check) "test_const_string.exe". 64se clean test_const_string.e 65Removing (-no_gc -flat_check -invariant_check) "test_const_string.exe". 66se c -no_gc -flat_check -loop_check test_const_string.e -o test_const_string.exe 67Running (-no_gc -flat_check -loop_check) "test_const_string.exe". 68se clean test_const_string.e 69Removing (-no_gc -flat_check -loop_check) "test_const_string.exe". 70se c -no_gc -flat_check -all_check test_const_string.e -o test_const_string.exe 71Running (-no_gc -flat_check -all_check) "test_const_string.exe". 72se clean test_const_string.e 73Removing (-no_gc -flat_check -all_check) "test_const_string.exe". 74se c -debug_check test_const_string.e -o test_const_string.exe 75Running (-debug_check) "test_const_string.exe". 76se clean test_const_string.e 77Removing (-debug_check) "test_const_string.exe". 78se c -require_check test_const_string.e -o test_const_string.exe 79Running (-require_check) "test_const_string.exe". 80se clean test_const_string.e 81Removing (-require_check) "test_const_string.exe". 82se c -ensure_check test_const_string.e -o test_const_string.exe 83Running (-ensure_check) "test_const_string.exe". 84se clean test_const_string.e 85Removing (-ensure_check) "test_const_string.exe". 86se c -invariant_check test_const_string.e -o test_const_string.exe 87Running (-invariant_check) "test_const_string.exe". 88se clean test_const_string.e 89Removing (-invariant_check) "test_const_string.exe". 90se c -loop_check test_const_string.e -o test_const_string.exe 91Running (-loop_check) "test_const_string.exe". 92se clean test_const_string.e 93Removing (-loop_check) "test_const_string.exe". 94se c -all_check test_const_string.e -o test_const_string.exe 95Running (-all_check) "test_const_string.exe". 96se clean test_const_string.e 97Removing (-all_check) "test_const_string.exe". 98se c -no_gc -debug_check test_const_string.e -o test_const_string.exe 99Running (-no_gc -debug_check) "test_const_string.exe". 100se clean test_const_string.e 101Removing (-no_gc -debug_check) "test_const_string.exe". 102se c -no_gc -require_check test_const_string.e -o test_const_string.exe 103Running (-no_gc -require_check) "test_const_string.exe". 104se clean test_const_string.e 105Removing (-no_gc -require_check) "test_const_string.exe". 106se c -no_gc -ensure_check test_const_string.e -o test_const_string.exe 107Running (-no_gc -ensure_check) "test_const_string.exe". 108se clean test_const_string.e 109Removing (-no_gc -ensure_check) "test_const_string.exe". 110se c -no_gc -invariant_check test_const_string.e -o test_const_string.exe 111Running (-no_gc -invariant_check) "test_const_string.exe". 112se clean test_const_string.e 113Removing (-no_gc -invariant_check) "test_const_string.exe". 114se c -no_gc -loop_check test_const_string.e -o test_const_string.exe 115Running (-no_gc -loop_check) "test_const_string.exe". 116se clean test_const_string.e 117Removing (-no_gc -loop_check) "test_const_string.exe". 118se c -no_gc -all_check test_const_string.e -o test_const_string.exe 119Running (-no_gc -all_check) "test_const_string.exe". 120se clean test_const_string.e 121Removing (-no_gc -all_check) "test_const_string.exe". 122Excluded command: "se c -profile -boost test_const_string.e -o test_const_string.exe". 123By excluded.lst: "se c -profile". 124Excluded command: "se c -profile -debug_check test_const_string.e -o test_const_string.exe". 125By excluded.lst: "se c -profile". 126Excluded command: "se c -profile -no_check test_const_string.e -o test_const_string.exe". 127By excluded.lst: "se c -profile". 128Excluded command: "se c -profile -require_check test_const_string.e -o test_const_string.exe". 129By excluded.lst: "se c -profile". 130Excluded command: "se c -profile -ensure_check test_const_string.e -o test_const_string.exe". 131By excluded.lst: "se c -profile". 132Excluded command: "se c -profile -invariant_check test_const_string.e -o test_const_string.exe". 133By excluded.lst: "se c -profile". 134Excluded command: "se c -profile -loop_check test_const_string.e -o test_const_string.exe". 135By excluded.lst: "se c -profile". 136Excluded command: "se c -profile -all_check test_const_string.e -o test_const_string.exe". 137By excluded.lst: "se c -profile". 138Excluded command: "se c -profile -no_gc -boost test_const_string.e -o test_const_string.exe". 139By excluded.lst: "se c -profile". 140Excluded command: "se c -profile -no_gc -debug_check test_const_string.e -o test_const_string.exe". 141By excluded.lst: "se c -profile". 142Excluded command: "se c -profile -no_gc -no_check test_const_string.e -o test_const_string.exe". 143By excluded.lst: "se c -profile". 144Excluded command: "se c -profile -no_gc -require_check test_const_string.e -o test_const_string.exe". 145By excluded.lst: "se c -profile". 146Excluded command: "se c -profile -no_gc -ensure_check test_const_string.e -o test_const_string.exe". 147By excluded.lst: "se c -profile". 148Excluded command: "se c -profile -no_gc -invariant_check test_const_string.e -o test_const_string.exe". 149By excluded.lst: "se c -profile". 150Excluded command: "se c -profile -no_gc -loop_check test_const_string.e -o test_const_string.exe". 151By excluded.lst: "se c -profile". 152Excluded command: "se c -profile -no_gc -all_check test_const_string.e -o test_const_string.exe". 153By excluded.lst: "se c -profile". 154Excluded command: "se c -profile -flat_check -debug_check test_const_string.e -o test_const_string.exe". 155By excluded.lst: "se c -profile". 156Excluded command: "se c -profile -flat_check -require_check test_const_string.e -o test_const_string.exe". 157By excluded.lst: "se c -profile". 158Excluded command: "se c -profile -flat_check -ensure_check test_const_string.e -o test_const_string.exe". 159By excluded.lst: "se c -profile". 160Excluded command: "se c -profile -flat_check -invariant_check test_const_string.e -o test_const_string.exe". 161By excluded.lst: "se c -profile". 162Excluded command: "se c -profile -flat_check -loop_check test_const_string.e -o test_const_string.exe". 163By excluded.lst: "se c -profile". 164Excluded command: "se c -profile -flat_check -all_check test_const_string.e -o test_const_string.exe". 165By excluded.lst: "se c -profile". 166se c -no_split -boost test_const_string.e -o test_const_string.exe 167Running (-no_split -boost) "test_const_string.exe". 168se clean test_const_string.e 169Removing (-no_split -boost) "test_const_string.exe". 170se c -no_split -no_gc -boost test_const_string.e -o test_const_string.exe 171Running (-no_split -no_gc -boost) "test_const_string.exe". 172se clean test_const_string.e 173Removing (-no_split -no_gc -boost) "test_const_string.exe". 174se c -boost test_natural.e -o test_natural.exe 175Running (-boost) "test_natural.exe". 176se clean test_natural.e 177Removing (-boost) "test_natural.exe". 178se c -flat_check -debug_check test_natural.e -o test_natural.exe 179Running (-flat_check -debug_check) "test_natural.exe". 180se clean test_natural.e 181Removing (-flat_check -debug_check) "test_natural.exe". 182se c -no_check test_natural.e -o test_natural.exe 183Running (-no_check) "test_natural.exe". 184se clean test_natural.e 185Removing (-no_check) "test_natural.exe". 186se c -flat_check -require_check test_natural.e -o test_natural.exe 187Running (-flat_check -require_check) "test_natural.exe". 188se clean test_natural.e 189Removing (-flat_check -require_check) "test_natural.exe". 190se c -flat_check -ensure_check test_natural.e -o test_natural.exe 191Running (-flat_check -ensure_check) "test_natural.exe". 192se clean test_natural.e 193Removing (-flat_check -ensure_check) "test_natural.exe". 194se c -flat_check -invariant_check test_natural.e -o test_natural.exe 195Running (-flat_check -invariant_check) "test_natural.exe". 196se clean test_natural.e 197Removing (-flat_check -invariant_check) "test_natural.exe". 198se c -flat_check -loop_check test_natural.e -o test_natural.exe 199Running (-flat_check -loop_check) "test_natural.exe". 200se clean test_natural.e 201Removing (-flat_check -loop_check) "test_natural.exe". 202se c -flat_check -all_check test_natural.e -o test_natural.exe 203Running (-flat_check -all_check) "test_natural.exe". 204se clean test_natural.e 205Removing (-flat_check -all_check) "test_natural.exe". 206se c -no_gc -boost test_natural.e -o test_natural.exe 207Running (-no_gc -boost) "test_natural.exe". 208se clean test_natural.e 209Removing (-no_gc -boost) "test_natural.exe". 210se c -no_gc -flat_check -debug_check test_natural.e -o test_natural.exe 211Running (-no_gc -flat_check -debug_check) "test_natural.exe". 212se clean test_natural.e 213Removing (-no_gc -flat_check -debug_check) "test_natural.exe". 214se c -no_gc -no_check test_natural.e -o test_natural.exe 215Running (-no_gc -no_check) "test_natural.exe". 216se clean test_natural.e 217Removing (-no_gc -no_check) "test_natural.exe". 218se c -no_gc -flat_check -require_check test_natural.e -o test_natural.exe 219Running (-no_gc -flat_check -require_check) "test_natural.exe". 220se clean test_natural.e 221Removing (-no_gc -flat_check -require_check) "test_natural.exe". 222se c -no_gc -ensure_check test_natural.e -o test_natural.exe 223Running (-no_gc -ensure_check) "test_natural.exe". 224se clean test_natural.e 225Removing (-no_gc -ensure_check) "test_natural.exe". 226se c -no_gc -flat_check -invariant_check test_natural.e -o test_natural.exe 227Running (-no_gc -flat_check -invariant_check) "test_natural.exe". 228se clean test_natural.e 229Removing (-no_gc -flat_check -invariant_check) "test_natural.exe". 230se c -no_gc -flat_check -loop_check test_natural.e -o test_natural.exe 231Running (-no_gc -flat_check -loop_check) "test_natural.exe". 232se clean test_natural.e 233Removing (-no_gc -flat_check -loop_check) "test_natural.exe". 234se c -no_gc -flat_check -all_check test_natural.e -o test_natural.exe 235Running (-no_gc -flat_check -all_check) "test_natural.exe". 236se clean test_natural.e 237Removing (-no_gc -flat_check -all_check) "test_natural.exe". 238se c -debug_check test_natural.e -o test_natural.exe 239Running (-debug_check) "test_natural.exe". 240se clean test_natural.e 241Removing (-debug_check) "test_natural.exe". 242se c -require_check test_natural.e -o test_natural.exe 243Running (-require_check) "test_natural.exe". 244se clean test_natural.e 245Removing (-require_check) "test_natural.exe". 246se c -ensure_check test_natural.e -o test_natural.exe 247Running (-ensure_check) "test_natural.exe". 248se clean test_natural.e 249Removing (-ensure_check) "test_natural.exe". 250se c -invariant_check test_natural.e -o test_natural.exe 251Running (-invariant_check) "test_natural.exe". 252se clean test_natural.e 253Removing (-invariant_check) "test_natural.exe". 254se c -loop_check test_natural.e -o test_natural.exe 255Running (-loop_check) "test_natural.exe". 256se clean test_natural.e 257Removing (-loop_check) "test_natural.exe". 258se c -all_check test_natural.e -o test_natural.exe 259Running (-all_check) "test_natural.exe". 260se clean test_natural.e 261Removing (-all_check) "test_natural.exe". 262se c -no_gc -debug_check test_natural.e -o test_natural.exe 263Running (-no_gc -debug_check) "test_natural.exe". 264se clean test_natural.e 265Removing (-no_gc -debug_check) "test_natural.exe". 266se c -no_gc -require_check test_natural.e -o test_natural.exe 267Running (-no_gc -require_check) "test_natural.exe". 268se clean test_natural.e 269Removing (-no_gc -require_check) "test_natural.exe". 270se c -no_gc -ensure_check test_natural.e -o test_natural.exe 271Running (-no_gc -ensure_check) "test_natural.exe". 272se clean test_natural.e 273Removing (-no_gc -ensure_check) "test_natural.exe". 274se c -no_gc -invariant_check test_natural.e -o test_natural.exe 275Running (-no_gc -invariant_check) "test_natural.exe". 276se clean test_natural.e 277Removing (-no_gc -invariant_check) "test_natural.exe". 278se c -no_gc -loop_check test_natural.e -o test_natural.exe 279Running (-no_gc -loop_check) "test_natural.exe". 280se clean test_natural.e 281Removing (-no_gc -loop_check) "test_natural.exe". 282se c -no_gc -all_check test_natural.e -o test_natural.exe 283Running (-no_gc -all_check) "test_natural.exe". 284se clean test_natural.e 285Removing (-no_gc -all_check) "test_natural.exe". 286Excluded command: "se c -profile -boost test_natural.e -o test_natural.exe". 287By excluded.lst: "se c -profile". 288Excluded command: "se c -profile -debug_check test_natural.e -o test_natural.exe". 289By excluded.lst: "se c -profile". 290Excluded command: "se c -profile -no_check test_natural.e -o test_natural.exe". 291By excluded.lst: "se c -profile". 292Excluded command: "se c -profile -require_check test_natural.e -o test_natural.exe". 293By excluded.lst: "se c -profile". 294Excluded command: "se c -profile -ensure_check test_natural.e -o test_natural.exe". 295By excluded.lst: "se c -profile". 296Excluded command: "se c -profile -invariant_check test_natural.e -o test_natural.exe". 297By excluded.lst: "se c -profile". 298Excluded command: "se c -profile -loop_check test_natural.e -o test_natural.exe". 299By excluded.lst: "se c -profile". 300Excluded command: "se c -profile -all_check test_natural.e -o test_natural.exe". 301By excluded.lst: "se c -profile". 302Excluded command: "se c -profile -no_gc -boost test_natural.e -o test_natural.exe". 303By excluded.lst: "se c -profile". 304Excluded command: "se c -profile -no_gc -debug_check test_natural.e -o test_natural.exe". 305By excluded.lst: "se c -profile". 306Excluded command: "se c -profile -no_gc -no_check test_natural.e -o test_natural.exe". 307By excluded.lst: "se c -profile". 308Excluded command: "se c -profile -no_gc -require_check test_natural.e -o test_natural.exe". 309By excluded.lst: "se c -profile". 310Excluded command: "se c -profile -no_gc -ensure_check test_natural.e -o test_natural.exe". 311By excluded.lst: "se c -profile". 312Excluded command: "se c -profile -no_gc -invariant_check test_natural.e -o test_natural.exe". 313By excluded.lst: "se c -profile". 314Excluded command: "se c -profile -no_gc -loop_check test_natural.e -o test_natural.exe". 315By excluded.lst: "se c -profile". 316Excluded command: "se c -profile -no_gc -all_check test_natural.e -o test_natural.exe". 317By excluded.lst: "se c -profile". 318Excluded command: "se c -profile -flat_check -debug_check test_natural.e -o test_natural.exe". 319By excluded.lst: "se c -profile". 320Excluded command: "se c -profile -flat_check -require_check test_natural.e -o test_natural.exe". 321By excluded.lst: "se c -profile". 322Excluded command: "se c -profile -flat_check -ensure_check test_natural.e -o test_natural.exe". 323By excluded.lst: "se c -profile". 324Excluded command: "se c -profile -flat_check -invariant_check test_natural.e -o test_natural.exe". 325By excluded.lst: "se c -profile". 326Excluded command: "se c -profile -flat_check -loop_check test_natural.e -o test_natural.exe". 327By excluded.lst: "se c -profile". 328Excluded command: "se c -profile -flat_check -all_check test_natural.e -o test_natural.exe". 329By excluded.lst: "se c -profile". 330se c -no_split -boost test_natural.e -o test_natural.exe 331Running (-no_split -boost) "test_natural.exe". 332se clean test_natural.e 333Removing (-no_split -boost) "test_natural.exe". 334se c -no_split -no_gc -boost test_natural.e -o test_natural.exe 335Running (-no_split -no_gc -boost) "test_natural.exe". 336se clean test_natural.e 337Removing (-no_split -no_gc -boost) "test_natural.exe". 338se c -boost test_natural2.e -o test_natural2.exe 339Running (-boost) "test_natural2.exe". 340se clean test_natural2.e 341Removing (-boost) "test_natural2.exe". 342se c -flat_check -debug_check test_natural2.e -o test_natural2.exe 343Running (-flat_check -debug_check) "test_natural2.exe". 344se clean test_natural2.e 345Removing (-flat_check -debug_check) "test_natural2.exe". 346se c -no_check test_natural2.e -o test_natural2.exe 347Running (-no_check) "test_natural2.exe". 348se clean test_natural2.e 349Removing (-no_check) "test_natural2.exe". 350se c -flat_check -require_check test_natural2.e -o test_natural2.exe 351Running (-flat_check -require_check) "test_natural2.exe". 352se clean test_natural2.e 353Removing (-flat_check -require_check) "test_natural2.exe". 354se c -flat_check -ensure_check test_natural2.e -o test_natural2.exe 355Running (-flat_check -ensure_check) "test_natural2.exe". 356se clean test_natural2.e 357Removing (-flat_check -ensure_check) "test_natural2.exe". 358se c -flat_check -invariant_check test_natural2.e -o test_natural2.exe 359Running (-flat_check -invariant_check) "test_natural2.exe". 360se clean test_natural2.e 361Removing (-flat_check -invariant_check) "test_natural2.exe". 362se c -flat_check -loop_check test_natural2.e -o test_natural2.exe 363Running (-flat_check -loop_check) "test_natural2.exe". 364se clean test_natural2.e 365Removing (-flat_check -loop_check) "test_natural2.exe". 366se c -flat_check -all_check test_natural2.e -o test_natural2.exe 367Running (-flat_check -all_check) "test_natural2.exe". 368se clean test_natural2.e 369Removing (-flat_check -all_check) "test_natural2.exe". 370se c -no_gc -boost test_natural2.e -o test_natural2.exe 371Running (-no_gc -boost) "test_natural2.exe". 372se clean test_natural2.e 373Removing (-no_gc -boost) "test_natural2.exe". 374se c -no_gc -flat_check -debug_check test_natural2.e -o test_natural2.exe 375Running (-no_gc -flat_check -debug_check) "test_natural2.exe". 376se clean test_natural2.e 377Removing (-no_gc -flat_check -debug_check) "test_natural2.exe". 378se c -no_gc -no_check test_natural2.e -o test_natural2.exe 379Running (-no_gc -no_check) "test_natural2.exe". 380se clean test_natural2.e 381Removing (-no_gc -no_check) "test_natural2.exe". 382se c -no_gc -flat_check -require_check test_natural2.e -o test_natural2.exe 383Running (-no_gc -flat_check -require_check) "test_natural2.exe". 384se clean test_natural2.e 385Removing (-no_gc -flat_check -require_check) "test_natural2.exe". 386se c -no_gc -ensure_check test_natural2.e -o test_natural2.exe 387Running (-no_gc -ensure_check) "test_natural2.exe". 388se clean test_natural2.e 389Removing (-no_gc -ensure_check) "test_natural2.exe". 390se c -no_gc -flat_check -invariant_check test_natural2.e -o test_natural2.exe 391Running (-no_gc -flat_check -invariant_check) "test_natural2.exe". 392se clean test_natural2.e 393Removing (-no_gc -flat_check -invariant_check) "test_natural2.exe". 394se c -no_gc -flat_check -loop_check test_natural2.e -o test_natural2.exe 395Running (-no_gc -flat_check -loop_check) "test_natural2.exe". 396se clean test_natural2.e 397Removing (-no_gc -flat_check -loop_check) "test_natural2.exe". 398se c -no_gc -flat_check -all_check test_natural2.e -o test_natural2.exe 399Running (-no_gc -flat_check -all_check) "test_natural2.exe". 400se clean test_natural2.e 401Removing (-no_gc -flat_check -all_check) "test_natural2.exe". 402se c -debug_check test_natural2.e -o test_natural2.exe 403Running (-debug_check) "test_natural2.exe". 404se clean test_natural2.e 405Removing (-debug_check) "test_natural2.exe". 406se c -require_check test_natural2.e -o test_natural2.exe 407Running (-require_check) "test_natural2.exe". 408se clean test_natural2.e 409Removing (-require_check) "test_natural2.exe". 410se c -ensure_check test_natural2.e -o test_natural2.exe 411Running (-ensure_check) "test_natural2.exe". 412se clean test_natural2.e 413Removing (-ensure_check) "test_natural2.exe". 414se c -invariant_check test_natural2.e -o test_natural2.exe 415Running (-invariant_check) "test_natural2.exe". 416se clean test_natural2.e 417Removing (-invariant_check) "test_natural2.exe". 418se c -loop_check test_natural2.e -o test_natural2.exe 419Running (-loop_check) "test_natural2.exe". 420se clean test_natural2.e 421Removing (-loop_check) "test_natural2.exe". 422se c -all_check test_natural2.e -o test_natural2.exe 423Running (-all_check) "test_natural2.exe". 424se clean test_natural2.e 425Removing (-all_check) "test_natural2.exe". 426se c -no_gc -debug_check test_natural2.e -o test_natural2.exe 427Running (-no_gc -debug_check) "test_natural2.exe". 428se clean test_natural2.e 429Removing (-no_gc -debug_check) "test_natural2.exe". 430se c -no_gc -require_check test_natural2.e -o test_natural2.exe 431Running (-no_gc -require_check) "test_natural2.exe". 432se clean test_natural2.e 433Removing (-no_gc -require_check) "test_natural2.exe". 434se c -no_gc -ensure_check test_natural2.e -o test_natural2.exe 435Running (-no_gc -ensure_check) "test_natural2.exe". 436se clean test_natural2.e 437Removing (-no_gc -ensure_check) "test_natural2.exe". 438se c -no_gc -invariant_check test_natural2.e -o test_natural2.exe 439Running (-no_gc -invariant_check) "test_natural2.exe". 440se clean test_natural2.e 441Removing (-no_gc -invariant_check) "test_natural2.exe". 442se c -no_gc -loop_check test_natural2.e -o test_natural2.exe 443Running (-no_gc -loop_check) "test_natural2.exe". 444se clean test_natural2.e 445Removing (-no_gc -loop_check) "test_natural2.exe". 446se c -no_gc -all_check test_natural2.e -o test_natural2.exe 447Running (-no_gc -all_check) "test_natural2.exe". 448se clean test_natural2.e 449Removing (-no_gc -all_check) "test_natural2.exe". 450Excluded command: "se c -profile -boost test_natural2.e -o test_natural2.exe". 451By excluded.lst: "se c -profile". 452Excluded command: "se c -profile -debug_check test_natural2.e -o test_natural2.exe". 453By excluded.lst: "se c -profile". 454Excluded command: "se c -profile -no_check test_natural2.e -o test_natural2.exe". 455By excluded.lst: "se c -profile". 456Excluded command: "se c -profile -require_check test_natural2.e -o test_natural2.exe". 457By excluded.lst: "se c -profile". 458Excluded command: "se c -profile -ensure_check test_natural2.e -o test_natural2.exe". 459By excluded.lst: "se c -profile". 460Excluded command: "se c -profile -invariant_check test_natural2.e -o test_natural2.exe". 461By excluded.lst: "se c -profile". 462Excluded command: "se c -profile -loop_check test_natural2.e -o test_natural2.exe". 463By excluded.lst: "se c -profile". 464Excluded command: "se c -profile -all_check test_natural2.e -o test_natural2.exe". 465By excluded.lst: "se c -profile". 466Excluded command: "se c -profile -no_gc -boost test_natural2.e -o test_natural2.exe". 467By excluded.lst: "se c -profile". 468Excluded command: "se c -profile -no_gc -debug_check test_natural2.e -o test_natural2.exe". 469By excluded.lst: "se c -profile". 470Excluded command: "se c -profile -no_gc -no_check test_natural2.e -o test_natural2.exe". 471By excluded.lst: "se c -profile". 472Excluded command: "se c -profile -no_gc -require_check test_natural2.e -o test_natural2.exe". 473By excluded.lst: "se c -profile". 474Excluded command: "se c -profile -no_gc -ensure_check test_natural2.e -o test_natural2.exe". 475By excluded.lst: "se c -profile". 476Excluded command: "se c -profile -no_gc -invariant_check test_natural2.e -o test_natural2.exe". 477By excluded.lst: "se c -profile". 478Excluded command: "se c -profile -no_gc -loop_check test_natural2.e -o test_natural2.exe". 479By excluded.lst: "se c -profile". 480Excluded command: "se c -profile -no_gc -all_check test_natural2.e -o test_natural2.exe". 481By excluded.lst: "se c -profile". 482Excluded command: "se c -profile -flat_check -debug_check test_natural2.e -o test_natural2.exe". 483By excluded.lst: "se c -profile". 484Excluded command: "se c -profile -flat_check -require_check test_natural2.e -o test_natural2.exe". 485By excluded.lst: "se c -profile". 486Excluded command: "se c -profile -flat_check -ensure_check test_natural2.e -o test_natural2.exe". 487By excluded.lst: "se c -profile". 488Excluded command: "se c -profile -flat_check -invariant_check test_natural2.e -o test_natural2.exe". 489By excluded.lst: "se c -profile". 490Excluded command: "se c -profile -flat_check -loop_check test_natural2.e -o test_natural2.exe". 491By excluded.lst: "se c -profile". 492Excluded command: "se c -profile -flat_check -all_check test_natural2.e -o test_natural2.exe". 493By excluded.lst: "se c -profile". 494se c -no_split -boost test_natural2.e -o test_natural2.exe 495Running (-no_split -boost) "test_natural2.exe". 496se clean test_natural2.e 497Removing (-no_split -boost) "test_natural2.exe". 498se c -no_split -no_gc -boost test_natural2.e -o test_natural2.exe 499Running (-no_split -no_gc -boost) "test_natural2.exe". 500se clean test_natural2.e 501Removing (-no_split -no_gc -boost) "test_natural2.exe". 502se c -boost test_natural3.e -o test_natural3.exe 503Running (-boost) "test_natural3.exe". 504se clean test_natural3.e 505Removing (-boost) "test_natural3.exe". 506se c -flat_check -debug_check test_natural3.e -o test_natural3.exe 507Running (-flat_check -debug_check) "test_natural3.exe". 508se clean test_natural3.e 509Removing (-flat_check -debug_check) "test_natural3.exe". 510se c -no_check test_natural3.e -o test_natural3.exe 511Running (-no_check) "test_natural3.exe". 512se clean test_natural3.e 513Removing (-no_check) "test_natural3.exe". 514se c -flat_check -require_check test_natural3.e -o test_natural3.exe 515Running (-flat_check -require_check) "test_natural3.exe". 516se clean test_natural3.e 517Removing (-flat_check -require_check) "test_natural3.exe". 518se c -flat_check -ensure_check test_natural3.e -o test_natural3.exe 519Running (-flat_check -ensure_check) "test_natural3.exe". 520se clean test_natural3.e 521Removing (-flat_check -ensure_check) "test_natural3.exe". 522se c -flat_check -invariant_check test_natural3.e -o test_natural3.exe 523Running (-flat_check -invariant_check) "test_natural3.exe". 524se clean test_natural3.e 525Removing (-flat_check -invariant_check) "test_natural3.exe". 526se c -flat_check -loop_check test_natural3.e -o test_natural3.exe 527Running (-flat_check -loop_check) "test_natural3.exe". 528se clean test_natural3.e 529Removing (-flat_check -loop_check) "test_natural3.exe". 530se c -flat_check -all_check test_natural3.e -o test_natural3.exe 531Running (-flat_check -all_check) "test_natural3.exe". 532se clean test_natural3.e 533Removing (-flat_check -all_check) "test_natural3.exe". 534se c -no_gc -boost test_natural3.e -o test_natural3.exe 535Running (-no_gc -boost) "test_natural3.exe". 536se clean test_natural3.e 537Removing (-no_gc -boost) "test_natural3.exe". 538se c -no_gc -flat_check -debug_check test_natural3.e -o test_natural3.exe 539Running (-no_gc -flat_check -debug_check) "test_natural3.exe". 540se clean test_natural3.e 541Removing (-no_gc -flat_check -debug_check) "test_natural3.exe". 542se c -no_gc -no_check test_natural3.e -o test_natural3.exe 543Running (-no_gc -no_check) "test_natural3.exe". 544se clean test_natural3.e 545Removing (-no_gc -no_check) "test_natural3.exe". 546se c -no_gc -flat_check -require_check test_natural3.e -o test_natural3.exe 547Running (-no_gc -flat_check -require_check) "test_natural3.exe". 548se clean test_natural3.e 549Removing (-no_gc -flat_check -require_check) "test_natural3.exe". 550se c -no_gc -ensure_check test_natural3.e -o test_natural3.exe 551Running (-no_gc -ensure_check) "test_natural3.exe". 552se clean test_natural3.e 553Removing (-no_gc -ensure_check) "test_natural3.exe". 554se c -no_gc -flat_check -invariant_check test_natural3.e -o test_natural3.exe 555Running (-no_gc -flat_check -invariant_check) "test_natural3.exe". 556se clean test_natural3.e 557Removing (-no_gc -flat_check -invariant_check) "test_natural3.exe". 558se c -no_gc -flat_check -loop_check test_natural3.e -o test_natural3.exe 559Running (-no_gc -flat_check -loop_check) "test_natural3.exe". 560se clean test_natural3.e 561Removing (-no_gc -flat_check -loop_check) "test_natural3.exe". 562se c -no_gc -flat_check -all_check test_natural3.e -o test_natural3.exe 563Running (-no_gc -flat_check -all_check) "test_natural3.exe". 564se clean test_natural3.e 565Removing (-no_gc -flat_check -all_check) "test_natural3.exe". 566se c -debug_check test_natural3.e -o test_natural3.exe 567Running (-debug_check) "test_natural3.exe". 568se clean test_natural3.e 569Removing (-debug_check) "test_natural3.exe". 570se c -require_check test_natural3.e -o test_natural3.exe 571Running (-require_check) "test_natural3.exe". 572se clean test_natural3.e 573Removing (-require_check) "test_natural3.exe". 574se c -ensure_check test_natural3.e -o test_natural3.exe 575Running (-ensure_check) "test_natural3.exe". 576se clean test_natural3.e 577Removing (-ensure_check) "test_natural3.exe". 578se c -invariant_check test_natural3.e -o test_natural3.exe 579Running (-invariant_check) "test_natural3.exe". 580se clean test_natural3.e 581Removing (-invariant_check) "test_natural3.exe". 582se c -loop_check test_natural3.e -o test_natural3.exe 583Running (-loop_check) "test_natural3.exe". 584se clean test_natural3.e 585Removing (-loop_check) "test_natural3.exe". 586se c -all_check test_natural3.e -o test_natural3.exe 587Running (-all_check) "test_natural3.exe". 588se clean test_natural3.e 589Removing (-all_check) "test_natural3.exe". 590se c -no_gc -debug_check test_natural3.e -o test_natural3.exe 591Running (-no_gc -debug_check) "test_natural3.exe". 592se clean test_natural3.e 593Removing (-no_gc -debug_check) "test_natural3.exe". 594se c -no_gc -require_check test_natural3.e -o test_natural3.exe 595Running (-no_gc -require_check) "test_natural3.exe". 596se clean test_natural3.e 597Removing (-no_gc -require_check) "test_natural3.exe". 598se c -no_gc -ensure_check test_natural3.e -o test_natural3.exe 599Running (-no_gc -ensure_check) "test_natural3.exe". 600se clean test_natural3.e 601Removing (-no_gc -ensure_check) "test_natural3.exe". 602se c -no_gc -invariant_check test_natural3.e -o test_natural3.exe 603Running (-no_gc -invariant_check) "test_natural3.exe". 604se clean test_natural3.e 605Removing (-no_gc -invariant_check) "test_natural3.exe". 606se c -no_gc -loop_check test_natural3.e -o test_natural3.exe 607Running (-no_gc -loop_check) "test_natural3.exe". 608se clean test_natural3.e 609Removing (-no_gc -loop_check) "test_natural3.exe". 610se c -no_gc -all_check test_natural3.e -o test_natural3.exe 611Running (-no_gc -all_check) "test_natural3.exe". 612se clean test_natural3.e 613Removing (-no_gc -all_check) "test_natural3.exe". 614Excluded command: "se c -profile -boost test_natural3.e -o test_natural3.exe". 615By excluded.lst: "se c -profile". 616Excluded command: "se c -profile -debug_check test_natural3.e -o test_natural3.exe". 617By excluded.lst: "se c -profile". 618Excluded command: "se c -profile -no_check test_natural3.e -o test_natural3.exe". 619By excluded.lst: "se c -profile". 620Excluded command: "se c -profile -require_check test_natural3.e -o test_natural3.exe". 621By excluded.lst: "se c -profile". 622Excluded command: "se c -profile -ensure_check test_natural3.e -o test_natural3.exe". 623By excluded.lst: "se c -profile". 624Excluded command: "se c -profile -invariant_check test_natural3.e -o test_natural3.exe". 625By excluded.lst: "se c -profile". 626Excluded command: "se c -profile -loop_check test_natural3.e -o test_natural3.exe". 627By excluded.lst: "se c -profile". 628Excluded command: "se c -profile -all_check test_natural3.e -o test_natural3.exe". 629By excluded.lst: "se c -profile". 630Excluded command: "se c -profile -no_gc -boost test_natural3.e -o test_natural3.exe". 631By excluded.lst: "se c -profile". 632Excluded command: "se c -profile -no_gc -debug_check test_natural3.e -o test_natural3.exe". 633By excluded.lst: "se c -profile". 634Excluded command: "se c -profile -no_gc -no_check test_natural3.e -o test_natural3.exe". 635By excluded.lst: "se c -profile". 636Excluded command: "se c -profile -no_gc -require_check test_natural3.e -o test_natural3.exe". 637By excluded.lst: "se c -profile". 638Excluded command: "se c -profile -no_gc -ensure_check test_natural3.e -o test_natural3.exe". 639By excluded.lst: "se c -profile". 640Excluded command: "se c -profile -no_gc -invariant_check test_natural3.e -o test_natural3.exe". 641By excluded.lst: "se c -profile". 642Excluded command: "se c -profile -no_gc -loop_check test_natural3.e -o test_natural3.exe". 643By excluded.lst: "se c -profile". 644Excluded command: "se c -profile -no_gc -all_check test_natural3.e -o test_natural3.exe". 645By excluded.lst: "se c -profile". 646Excluded command: "se c -profile -flat_check -debug_check test_natural3.e -o test_natural3.exe". 647By excluded.lst: "se c -profile". 648Excluded command: "se c -profile -flat_check -require_check test_natural3.e -o test_natural3.exe". 649By excluded.lst: "se c -profile". 650Excluded command: "se c -profile -flat_check -ensure_check test_natural3.e -o test_natural3.exe". 651By excluded.lst: "se c -profile". 652Excluded command: "se c -profile -flat_check -invariant_check test_natural3.e -o test_natural3.exe". 653By excluded.lst: "se c -profile". 654Excluded command: "se c -profile -flat_check -loop_check test_natural3.e -o test_natural3.exe". 655By excluded.lst: "se c -profile". 656Excluded command: "se c -profile -flat_check -all_check test_natural3.e -o test_natural3.exe". 657By excluded.lst: "se c -profile". 658se c -no_split -boost test_natural3.e -o test_natural3.exe 659Running (-no_split -boost) "test_natural3.exe". 660se clean test_natural3.e 661Removing (-no_split -boost) "test_natural3.exe". 662se c -no_split -no_gc -boost test_natural3.e -o test_natural3.exe 663Running (-no_split -no_gc -boost) "test_natural3.exe". 664se clean test_natural3.e 665Removing (-no_split -no_gc -boost) "test_natural3.exe". 666se c -boost test_natural4.e -o test_natural4.exe 667Abnormal exit status of "se c -boost test_natural4.e -o test_natural4.exe". 668se c -flat_check -debug_check test_natural4.e -o test_natural4.exe 669Abnormal exit status of "se c -flat_check -debug_check test_natural4.e -o test_natural4.exe". 670se c -no_check test_natural4.e -o test_natural4.exe 671Abnormal exit status of "se c -no_check test_natural4.e -o test_natural4.exe". 672se c -flat_check -require_check test_natural4.e -o test_natural4.exe 673Abnormal exit status of "se c -flat_check -require_check test_natural4.e -o test_natural4.exe". 674se c -flat_check -ensure_check test_natural4.e -o test_natural4.exe 675Abnormal exit status of "se c -flat_check -ensure_check test_natural4.e -o test_natural4.exe". 676se c -flat_check -invariant_check test_natural4.e -o test_natural4.exe 677Abnormal exit status of "se c -flat_check -invariant_check test_natural4.e -o test_natural4.exe". 678se c -flat_check -loop_check test_natural4.e -o test_natural4.exe 679Abnormal exit status of "se c -flat_check -loop_check test_natural4.e -o test_natural4.exe". 680se c -flat_check -all_check test_natural4.e -o test_natural4.exe 681Abnormal exit status of "se c -flat_check -all_check test_natural4.e -o test_natural4.exe". 682se c -no_gc -boost test_natural4.e -o test_natural4.exe 683Abnormal exit status of "se c -no_gc -boost test_natural4.e -o test_natural4.exe". 684se c -no_gc -flat_check -debug_check test_natural4.e -o test_natural4.exe 685Abnormal exit status of "se c -no_gc -flat_check -debug_check test_natural4.e -o test_natural4.exe". 686se c -no_gc -no_check test_natural4.e -o test_natural4.exe 687Abnormal exit status of "se c -no_gc -no_check test_natural4.e -o test_natural4.exe". 688se c -no_gc -flat_check -require_check test_natural4.e -o test_natural4.exe 689Abnormal exit status of "se c -no_gc -flat_check -require_check test_natural4.e -o test_natural4.exe". 690se c -no_gc -ensure_check test_natural4.e -o test_natural4.exe 691Abnormal exit status of "se c -no_gc -ensure_check test_natural4.e -o test_natural4.exe". 692se c -no_gc -flat_check -invariant_check test_natural4.e -o test_natural4.exe 693Abnormal exit status of "se c -no_gc -flat_check -invariant_check test_natural4.e -o test_natural4.exe". 694se c -no_gc -flat_check -loop_check test_natural4.e -o test_natural4.exe 695Abnormal exit status of "se c -no_gc -flat_check -loop_check test_natural4.e -o test_natural4.exe". 696se c -no_gc -flat_check -all_check test_natural4.e -o test_natural4.exe 697Abnormal exit status of "se c -no_gc -flat_check -all_check test_natural4.e -o test_natural4.exe". 698se c -debug_check test_natural4.e -o test_natural4.exe 699Abnormal exit status of "se c -debug_check test_natural4.e -o test_natural4.exe". 700se c -require_check test_natural4.e -o test_natural4.exe 701Abnormal exit status of "se c -require_check test_natural4.e -o test_natural4.exe". 702se c -ensure_check test_natural4.e -o test_natural4.exe 703Abnormal exit status of "se c -ensure_check test_natural4.e -o test_natural4.exe". 704se c -invariant_check test_natural4.e -o test_natural4.exe 705Abnormal exit status of "se c -invariant_check test_natural4.e -o test_natural4.exe". 706se c -loop_check test_natural4.e -o test_natural4.exe 707Abnormal exit status of "se c -loop_check test_natural4.e -o test_natural4.exe". 708se c -all_check test_natural4.e -o test_natural4.exe 709Abnormal exit status of "se c -all_check test_natural4.e -o test_natural4.exe". 710se c -no_gc -debug_check test_natural4.e -o test_natural4.exe 711Abnormal exit status of "se c -no_gc -debug_check test_natural4.e -o test_natural4.exe". 712se c -no_gc -require_check test_natural4.e -o test_natural4.exe 713Abnormal exit status of "se c -no_gc -require_check test_natural4.e -o test_natural4.exe". 714se c -no_gc -ensure_check test_natural4.e -o test_natural4.exe 715Abnormal exit status of "se c -no_gc -ensure_check test_natural4.e -o test_natural4.exe". 716se c -no_gc -invariant_check test_natural4.e -o test_natural4.exe 717Abnormal exit status of "se c -no_gc -invariant_check test_natural4.e -o test_natural4.exe". 718se c -no_gc -loop_check test_natural4.e -o test_natural4.exe 719Abnormal exit status of "se c -no_gc -loop_check test_natural4.e -o test_natural4.exe". 720se c -no_gc -all_check test_natural4.e -o test_natural4.exe 721Abnormal exit status of "se c -no_gc -all_check test_natural4.e -o test_natural4.exe". 722Excluded command: "se c -profile -boost test_natural4.e -o test_natural4.exe". 723By excluded.lst: "se c -profile". 724Excluded command: "se c -profile -debug_check test_natural4.e -o test_natural4.exe". 725By excluded.lst: "se c -profile". 726Excluded command: "se c -profile -no_check test_natural4.e -o test_natural4.exe". 727By excluded.lst: "se c -profile". 728Excluded command: "se c -profile -require_check test_natural4.e -o test_natural4.exe". 729By excluded.lst: "se c -profile". 730Excluded command: "se c -profile -ensure_check test_natural4.e -o test_natural4.exe". 731By excluded.lst: "se c -profile". 732Excluded command: "se c -profile -invariant_check test_natural4.e -o test_natural4.exe". 733By excluded.lst: "se c -profile". 734Excluded command: "se c -profile -loop_check test_natural4.e -o test_natural4.exe". 735By excluded.lst: "se c -profile". 736Excluded command: "se c -profile -all_check test_natural4.e -o test_natural4.exe". 737By excluded.lst: "se c -profile". 738Excluded command: "se c -profile -no_gc -boost test_natural4.e -o test_natural4.exe". 739By excluded.lst: "se c -profile". 740Excluded command: "se c -profile -no_gc -debug_check test_natural4.e -o test_natural4.exe". 741By excluded.lst: "se c -profile". 742Excluded command: "se c -profile -no_gc -no_check test_natural4.e -o test_natural4.exe". 743By excluded.lst: "se c -profile". 744Excluded command: "se c -profile -no_gc -require_check test_natural4.e -o test_natural4.exe". 745By excluded.lst: "se c -profile". 746Excluded command: "se c -profile -no_gc -ensure_check test_natural4.e -o test_natural4.exe". 747By excluded.lst: "se c -profile". 748Excluded command: "se c -profile -no_gc -invariant_check test_natural4.e -o test_natural4.exe". 749By excluded.lst: "se c -profile". 750Excluded command: "se c -profile -no_gc -loop_check test_natural4.e -o test_natural4.exe". 751By excluded.lst: "se c -profile". 752Excluded command: "se c -profile -no_gc -all_check test_natural4.e -o test_natural4.exe". 753By excluded.lst: "se c -profile". 754Excluded command: "se c -profile -flat_check -debug_check test_natural4.e -o test_natural4.exe". 755By excluded.lst: "se c -profile". 756Excluded command: "se c -profile -flat_check -require_check test_natural4.e -o test_natural4.exe". 757By excluded.lst: "se c -profile". 758Excluded command: "se c -profile -flat_check -ensure_check test_natural4.e -o test_natural4.exe". 759By excluded.lst: "se c -profile". 760Excluded command: "se c -profile -flat_check -invariant_check test_natural4.e -o test_natural4.exe". 761By excluded.lst: "se c -profile". 762Excluded command: "se c -profile -flat_check -loop_check test_natural4.e -o test_natural4.exe". 763By excluded.lst: "se c -profile". 764Excluded command: "se c -profile -flat_check -all_check test_natural4.e -o test_natural4.exe". 765By excluded.lst: "se c -profile". 766se c -no_split -boost test_natural4.e -o test_natural4.exe 767Abnormal exit status of "se c -no_split -boost test_natural4.e -o test_natural4.exe". 768se c -no_split -no_gc -boost test_natural4.e -o test_natural4.exe 769Abnormal exit status of "se c -no_split -no_gc -boost test_natural4.e -o test_natural4.exe". 770se c -boost test_natural5.e -o test_natural5.exe 771Running (-boost) "test_natural5.exe". 772se clean test_natural5.e 773Removing (-boost) "test_natural5.exe". 774se c -flat_check -debug_check test_natural5.e -o test_natural5.exe 775Running (-flat_check -debug_check) "test_natural5.exe". 776se clean test_natural5.e 777Removing (-flat_check -debug_check) "test_natural5.exe". 778se c -no_check test_natural5.e -o test_natural5.exe 779Running (-no_check) "test_natural5.exe". 780se clean test_natural5.e 781Removing (-no_check) "test_natural5.exe". 782se c -flat_check -require_check test_natural5.e -o test_natural5.exe 783Running (-flat_check -require_check) "test_natural5.exe". 784se clean test_natural5.e 785Removing (-flat_check -require_check) "test_natural5.exe". 786se c -flat_check -ensure_check test_natural5.e -o test_natural5.exe 787Running (-flat_check -ensure_check) "test_natural5.exe". 788se clean test_natural5.e 789Removing (-flat_check -ensure_check) "test_natural5.exe". 790se c -flat_check -invariant_check test_natural5.e -o test_natural5.exe 791Running (-flat_check -invariant_check) "test_natural5.exe". 792se clean test_natural5.e 793Removing (-flat_check -invariant_check) "test_natural5.exe". 794se c -flat_check -loop_check test_natural5.e -o test_natural5.exe 795Running (-flat_check -loop_check) "test_natural5.exe". 796se clean test_natural5.e 797Removing (-flat_check -loop_check) "test_natural5.exe". 798se c -flat_check -all_check test_natural5.e -o test_natural5.exe 799Running (-flat_check -all_check) "test_natural5.exe". 800se clean test_natural5.e 801Removing (-flat_check -all_check) "test_natural5.exe". 802se c -no_gc -boost test_natural5.e -o test_natural5.exe 803Running (-no_gc -boost) "test_natural5.exe". 804se clean test_natural5.e 805Removing (-no_gc -boost) "test_natural5.exe". 806se c -no_gc -flat_check -debug_check test_natural5.e -o test_natural5.exe 807Running (-no_gc -flat_check -debug_check) "test_natural5.exe". 808se clean test_natural5.e 809Removing (-no_gc -flat_check -debug_check) "test_natural5.exe". 810se c -no_gc -no_check test_natural5.e -o test_natural5.exe 811Running (-no_gc -no_check) "test_natural5.exe". 812se clean test_natural5.e 813Removing (-no_gc -no_check) "test_natural5.exe". 814se c -no_gc -flat_check -require_check test_natural5.e -o test_natural5.exe 815Running (-no_gc -flat_check -require_check) "test_natural5.exe". 816se clean test_natural5.e 817Removing (-no_gc -flat_check -require_check) "test_natural5.exe". 818se c -no_gc -ensure_check test_natural5.e -o test_natural5.exe 819Running (-no_gc -ensure_check) "test_natural5.exe". 820se clean test_natural5.e 821Removing (-no_gc -ensure_check) "test_natural5.exe". 822se c -no_gc -flat_check -invariant_check test_natural5.e -o test_natural5.exe 823Running (-no_gc -flat_check -invariant_check) "test_natural5.exe". 824se clean test_natural5.e 825Removing (-no_gc -flat_check -invariant_check) "test_natural5.exe". 826se c -no_gc -flat_check -loop_check test_natural5.e -o test_natural5.exe 827Running (-no_gc -flat_check -loop_check) "test_natural5.exe". 828se clean test_natural5.e 829Removing (-no_gc -flat_check -loop_check) "test_natural5.exe". 830se c -no_gc -flat_check -all_check test_natural5.e -o test_natural5.exe 831Running (-no_gc -flat_check -all_check) "test_natural5.exe". 832se clean test_natural5.e 833Removing (-no_gc -flat_check -all_check) "test_natural5.exe". 834se c -debug_check test_natural5.e -o test_natural5.exe 835Running (-debug_check) "test_natural5.exe". 836se clean test_natural5.e 837Removing (-debug_check) "test_natural5.exe". 838se c -require_check test_natural5.e -o test_natural5.exe 839Running (-require_check) "test_natural5.exe". 840se clean test_natural5.e 841Removing (-require_check) "test_natural5.exe". 842se c -ensure_check test_natural5.e -o test_natural5.exe 843Running (-ensure_check) "test_natural5.exe". 844se clean test_natural5.e 845Removing (-ensure_check) "test_natural5.exe". 846se c -invariant_check test_natural5.e -o test_natural5.exe 847Running (-invariant_check) "test_natural5.exe". 848se clean test_natural5.e 849Removing (-invariant_check) "test_natural5.exe". 850se c -loop_check test_natural5.e -o test_natural5.exe 851Running (-loop_check) "test_natural5.exe". 852se clean test_natural5.e 853Removing (-loop_check) "test_natural5.exe". 854se c -all_check test_natural5.e -o test_natural5.exe 855Running (-all_check) "test_natural5.exe". 856se clean test_natural5.e 857Removing (-all_check) "test_natural5.exe". 858se c -no_gc -debug_check test_natural5.e -o test_natural5.exe 859Running (-no_gc -debug_check) "test_natural5.exe". 860se clean test_natural5.e 861Removing (-no_gc -debug_check) "test_natural5.exe". 862se c -no_gc -require_check test_natural5.e -o test_natural5.exe 863Running (-no_gc -require_check) "test_natural5.exe". 864se clean test_natural5.e 865Removing (-no_gc -require_check) "test_natural5.exe". 866se c -no_gc -ensure_check test_natural5.e -o test_natural5.exe 867Running (-no_gc -ensure_check) "test_natural5.exe". 868se clean test_natural5.e 869Removing (-no_gc -ensure_check) "test_natural5.exe". 870se c -no_gc -invariant_check test_natural5.e -o test_natural5.exe 871Running (-no_gc -invariant_check) "test_natural5.exe". 872se clean test_natural5.e 873Removing (-no_gc -invariant_check) "test_natural5.exe". 874se c -no_gc -loop_check test_natural5.e -o test_natural5.exe 875Running (-no_gc -loop_check) "test_natural5.exe". 876se clean test_natural5.e 877Removing (-no_gc -loop_check) "test_natural5.exe". 878se c -no_gc -all_check test_natural5.e -o test_natural5.exe 879Running (-no_gc -all_check) "test_natural5.exe". 880se clean test_natural5.e 881Removing (-no_gc -all_check) "test_natural5.exe". 882Excluded command: "se c -profile -boost test_natural5.e -o test_natural5.exe". 883By excluded.lst: "se c -profile". 884Excluded command: "se c -profile -debug_check test_natural5.e -o test_natural5.exe". 885By excluded.lst: "se c -profile". 886Excluded command: "se c -profile -no_check test_natural5.e -o test_natural5.exe". 887By excluded.lst: "se c -profile". 888Excluded command: "se c -profile -require_check test_natural5.e -o test_natural5.exe". 889By excluded.lst: "se c -profile". 890Excluded command: "se c -profile -ensure_check test_natural5.e -o test_natural5.exe". 891By excluded.lst: "se c -profile". 892Excluded command: "se c -profile -invariant_check test_natural5.e -o test_natural5.exe". 893By excluded.lst: "se c -profile". 894Excluded command: "se c -profile -loop_check test_natural5.e -o test_natural5.exe". 895By excluded.lst: "se c -profile". 896Excluded command: "se c -profile -all_check test_natural5.e -o test_natural5.exe". 897By excluded.lst: "se c -profile". 898Excluded command: "se c -profile -no_gc -boost test_natural5.e -o test_natural5.exe". 899By excluded.lst: "se c -profile". 900Excluded command: "se c -profile -no_gc -debug_check test_natural5.e -o test_natural5.exe". 901By excluded.lst: "se c -profile". 902Excluded command: "se c -profile -no_gc -no_check test_natural5.e -o test_natural5.exe". 903By excluded.lst: "se c -profile". 904Excluded command: "se c -profile -no_gc -require_check test_natural5.e -o test_natural5.exe". 905By excluded.lst: "se c -profile". 906Excluded command: "se c -profile -no_gc -ensure_check test_natural5.e -o test_natural5.exe". 907By excluded.lst: "se c -profile". 908Excluded command: "se c -profile -no_gc -invariant_check test_natural5.e -o test_natural5.exe". 909By excluded.lst: "se c -profile". 910Excluded command: "se c -profile -no_gc -loop_check test_natural5.e -o test_natural5.exe". 911By excluded.lst: "se c -profile". 912Excluded command: "se c -profile -no_gc -all_check test_natural…
Large files files are truncated, but you can click here to view the full file