1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92
|
File math.sml: Testing structure Math...
test0a OK
test0b OK
test1a OK
test1b OK
test1c OK
test2a OK
test2b OK
test2c OK
test2d OK
test3a OK
test3b OK
test3c OK
test3d OK
test4a OK
test4b OK
test4c OK
test4d OK
test4e OK
test4f OK
test4g OK
test5a OK
test5b OK
test5c OK
test5d OK
test5e OK
test6a OK
test6b OK
test6c OK
test6d OK
test6e OK
test7a OK
test7b OK
test7c OK
test7d OK
test7e OK
test8a OK
test8b OK
test8c OK
test8d OK
test8e OK
test8f OK
test8g OK
test8h OK
test8i OK
test8j OK
test8k OK
test8l OK
test9a OK
test9b OK
test9c OK
test10a OK
test10b OK
test10c OK
test10d OK
test10e OK
test10f OK
test10g OK
test12a OK
test12b OK
test12c OK
test12d OK
test12e OK
test12f OK
test12g OK
test12h OK
test12i OK
test12l OK
test12m OK
test13a OK
test13b OK
test13c OK
test13d OK
test13e OK
test14a OK
test14b OK
test14c OK
test14d OK
test14e OK
test15a OK
test15b OK
test15c OK
test15d OK
test15e OK
test16a OK
test16b OK
test16c OK
test16d OK
test16e OK
test16f OK
test16g OK
|