standard tests for SP 20 being compiled

54 views
Skip to first unread message

Mark Tarver

unread,
Aug 18, 2018, 8:22:53 AM8/18/18
to Shen
I'm building a tst suite for SP on top of what is available for OS shen to cope with the additional features.  Should be compiled early next week.

Mark


Mark Tarver

unread,
Aug 21, 2018, 2:23:47 AM8/21/18
to Shen
Finished; looking good.

Mark

................................................................
yacc: (define <newline> { ((list string) * A) --> ((list string)
> (let Parse_X (head (fst Stream)) (let NewStream10900 (@p (tail
snd Stream)) (if (element? (string->n Parse_X) (cons 10 (cons 13
NewStream10900) (snd NewStream10900)) (abort))))) = <newline>
run time: 0.0 secs
passed
passed ... 500
failed ...0
pass rate ...100%

ok
0

run time: 14.678999900817871 secs

typechecked in 399497 inferences
loaded
Reply all
Reply to author
Forward
0 new messages