[speagram] gentest.exe

[rzyjontko <rz...@op...>]

Zwr=F3ci=B3 mi co=B6 takiego:

  --> TestGenerateFunc=20
LKAW.Speagram.Common+InternalError: I.Reasoner.1
in <0x004dd> LKAW.Speagram.Reasoner:AllSubstitutions (LKAW.Speagram.Term)
in <0x00040> _N_lm__N_l4628_4631:_N_l4628 (object)
in <0x00163> Nemerle.Collections.List:RevMap (Nemerle.Core.list,Nemerle.I=
nternal.Func1)
in <0x0001a> Nemerle.Collections.List:Map (Nemerle.Core.list,Nemerle.Inte=
rnal.Func1)
in <0x00481> LKAW.Speagram.Reasoner:EqualForAll (LKAW.Speagram.Term,LKAW.=
Speagram.Term)
in <0x0004a> _N_lm_eq_f_a_5056:eq_f_a (object)
in <0x00149> Nemerle.Collections.List:Find (Nemerle.Core.list,Nemerle.Int=
ernal.Func1)
in <0x003e5> _N_lm_filter_eq_forall_5043:filter_eq_forall (object,object)
in <0x00193> LKAW.Speagram.Generator:NormalizeTermList (Nemerle.Core.list=
)
in <0x00717> LKAW.Speagram.Generator:Generate (LKAW.Speagram.Term_type,in=
t)
in <0x0031d> LKAW.Speagram.GeneratorTest:TestGenerateFunc ()

--=20
rzyjontko
http://www.student.ii.uni.wroc.pl/~rzyj/