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: