1.2.54. test/regress/rt-1.01.54

Start felix section to test/regress/rt-1.01.54-0.flx[1 /1 ]
     1: #line 2242 "./lpsrc/flx_regress.pak"
     2: //Check axiom checks:integer
     3: #import <flx.flxh>
     4: axiom_check(-1);
     5: axiom_check(0);
     6: axiom_check(1);
     7: 
     8: axiom_check(0,1);
     9: axiom_check(1,0);
    10: axiom_check(-1,0);
    11: axiom_check(0,-1);
    12: axiom_check(1,-1);
    13: axiom_check(1,2);
    14: axiom_check(3,4);
    15: axiom_check(42,0);
    16: 
    17: axiom_check(5,6,7);
    18: axiom_check(0,-8,9);
    19: 
End felix section to test/regress/rt-1.01.54-0.flx[1]
Start data section to test/regress/rt-1.01.54-0.expect[1 /1 ]
End data section to test/regress/rt-1.01.54-0.expect[1]