Changeset 952b159 in git for Tst/dyn_modules


Ignore:
Timestamp:
Jul 11, 2013, 3:47:08 AM (11 years ago)
Author:
Oleksandr Motsak <motsak@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'fc741b6502fd8a97288eaa3eba6e5220f3c3df87')
Children:
e0c8e34f8d5fd3f8159e61a5895314655cdf9d51
Parents:
9e24ef5a0725a87fa840c862768035f644957a9f
Message:
Generation of static results for DM tests
Location:
Tst/dyn_modules
Files:
10 added
5 edited

Legend:

Unmodified
Added
Removed

  • Tst/dyn_modules/bigintm.tst

    r9e24ef r952b159  
     1LIB "tst.lib"; tst_init();
    12echo = 2;
    2 
    3 "ndebug?: ", system("with", "ndebug");
    4 "om_ndebug?: ", system("with", "om_ndebug");
    5 
    6 if( system("with", "ndebug") )
    7 {
    8   "Loading the Release version!";
    9   LIB("bigintm.so");
    10 }
    11 else
    12 {
    13   "Loading the Debug version!";
    14   LIB("bigintm.so");
    15 }
     3LIB("bigintm.so");
    164
    175printBlackboxTypes();
    … …  
    4432
    4533typeof(_);
     34
     35tst_status(1);$
    4636
    4737$ // the rest is more for checking the Singular interpreter!

  • Tst/dyn_modules/ederc.tst

    r9e24ef r952b159  
     1LIB "tst.lib"; tst_init();
    12/*
    23            input ideal:
    … …  
    2526echo = 2;
    2627
    27 "ndebug?: ", system("with", "ndebug");
    28 "om_ndebug?: ", system("with", "om_ndebug");
    29 
    30 if( system("with", "ndebug") )
    31 {
    32   "Loading the Release version!";
    33   LIB("syzextra.so");
    34 }
    35 else
    36 {
    37   "Loading the Debug version!";
    38   LIB("syzextra.so");
    39 }
     28LIB("syzextra.so");
    4029
    4130noop();
    … …  
    135124// x2y*gen(4)+yz3*gen(3)-z2t*gen(4)-x2t2*gen(3)
    136125
     126tst_status(1);$
     127
    137128exit;
    138129

  • Tst/dyn_modules/p_content.tst

    r9e24ef r952b159  
     1LIB "tst.lib"; tst_init();
    12echo = 2;
    23
    3 "ndebug?: ", system("with", "ndebug");
    4 "om_ndebug?: ", system("with", "om_ndebug");
    5 
    6 if( system("with", "ndebug") )
    7 {
    8   "Loading the Release version!";
    9   LIB("./syzextra.so");
    10 }
    11 else
    12 {
    13   "Loading the Debug version!";
    14   LIB("./syzextra.so");
    15 }
    16 
     4LIB("syzextra.so");
    175noop();
    186
    … …  
    5442o;
    5543O;
     44
     45
     46tst_status(1);$
    5647
    5748$$$

  • Tst/dyn_modules/syzextra.tst

    r9e24ef r952b159  
    1 "ndebug?: ", system("with", "ndebug");
    2 "om_ndebug?: ", system("with", "om_ndebug");
    3 
    4 listvar(Top);
    5 
    6 if( system("with", "ndebug") )
    7 {
    8   "Loading the Release version!";
    9   LIB("syzextra.so");
    10   listvar(Syzextra);
    11 }
    12 else
    13 {
    14   "Loading the Debug version!";
    15   LIB("syzextra.so");
    16   listvar(Syzextra);
    17 }
    18 
    19 
     1LIB "tst.lib"; tst_init();
     2LIB("syzextra.so");
    203noop();
    214
    … …  
    4225
    4326
    44 def l = res(I, 0); DetailedPrint(l);
     27// def l = res(I, 0); // DetailedPrint(l);
     28
     29tst_status(1);$
    4530
    4631exit;

  • Tst/dyn_modules/test_clear_enum.tst

    r9e24ef r952b159  
    1 "ndebug?: ", system("with", "ndebug");
    2 "om_ndebug?: ", system("with", "om_ndebug");
    3 
    4 listvar(Top);
    5 
    6 if( system("with", "ndebug") )
    7 {
    8   "Loading the Release version!";
    9   LIB("syzextra.so");
    10   listvar(Syzextra);
    11 }
    12 else
    13 {
    14   "Loading the Debug version!";
    15   LIB("syzextra.so");
    16   listvar(Syzextra);
    17 }
    18 
     1LIB "tst.lib"; tst_init();
     2LIB("syzextra.so");
    193
    204noop();
    … …  
    428412
    429413
     414tst_status(1);$
     415
    430416
    431417exit;
Note: See TracChangeset for help on using the changeset viewer.