[asl-test] Flatten test tree in ast.t

herd · Jan 16, 2024 · ac95eff · ac95eff
1 parent bb5fa59
commit ac95eff
Show file tree

Hide file tree

Showing 558 changed files with 733 additions and 927 deletions.
diff --git a/...rations/4_5_3-GettersandSetters/Dbhpj.asl → asllib/tests/asl.t/Dbhpj.asl b/...rations/4_5_3-GettersandSetters/Dbhpj.asl → asllib/tests/asl.t/Dbhpj.asl
diff --git a/...syntax/6_5-Assignmentstatements/Dbjny.asl → asllib/tests/asl.t/Dbjny.asl b/...syntax/6_5-Assignmentstatements/Dbjny.asl → asllib/tests/asl.t/Dbjny.asl
diff --git a/...re/7_1_3-DomainofValuesforTypes/Dbmgm.asl → asllib/tests/asl.t/Dbmgm.asl b/...re/7_1_3-DomainofValuesforTypes/Dbmgm.asl → asllib/tests/asl.t/Dbmgm.asl
diff --git a/...ntypes/7_3_4-Subprogramclashing/Dbtbr.asl → asllib/tests/asl.t/Dbtbr.asl b/...ntypes/7_3_4-Subprogramclashing/Dbtbr.asl → asllib/tests/asl.t/Dbtbr.asl
diff --git a/...ctortype/3_9_1-Typesofbitvector/Dbvgk.asl → asllib/tests/asl.t/Dbvgk.asl b/...ctortype/3_9_1-Typesofbitvector/Dbvgk.asl → asllib/tests/asl.t/Dbvgk.asl
diff --git a/...ctortype/3_9_1-Typesofbitvector/Dcbqk.asl → asllib/tests/asl.t/Dcbqk.asl b/...ctortype/3_9_1-Typesofbitvector/Dcbqk.asl → asllib/tests/asl.t/Dcbqk.asl
diff --git a/...8_2_1-Execution-timesubprograms/Dccty.asl → asllib/tests/asl.t/Dccty.asl b/...8_2_1-Execution-timesubprograms/Dccty.asl → asllib/tests/asl.t/Dccty.asl
diff --git a/...ing/7_5_2-Subprograminvocations/Dcfyp.asl → asllib/tests/asl.t/Dcfyp.asl b/...ing/7_5_2-Subprograminvocations/Dcfyp.asl → asllib/tests/asl.t/Dcfyp.asl
diff --git a/...ion/3-Builtintypes/3_5-Realtype/Dcqxl.asl → asllib/tests/asl.t/Dcqxl.asl b/...ion/3-Builtintypes/3_5-Realtype/Dcqxl.asl → asllib/tests/asl.t/Dcqxl.asl
diff --git a/...8_2_1-Execution-timesubprograms/Dcsft.asl → asllib/tests/asl.t/Dcsft.asl b/...8_2_1-Execution-timesubprograms/Dcsft.asl → asllib/tests/asl.t/Dcsft.asl
diff --git a/...-Staticallyevaluableexpressions/Dcwvh.asl → asllib/tests/asl.t/Dcwvh.asl b/...-Staticallyevaluableexpressions/Dcwvh.asl → asllib/tests/asl.t/Dcwvh.asl
diff --git a/.../3-Builtintypes/3_10-Arraytypes/Ddpxj.asl → asllib/tests/asl.t/Ddpxj.asl b/.../3-Builtintypes/3_10-Arraytypes/Ddpxj.asl → asllib/tests/asl.t/Ddpxj.asl
diff --git a/...nclature/7_1_2-Structureofatype/Dfxqv.asl → asllib/tests/asl.t/Dfxqv.asl b/...nclature/7_1_2-Structureofatype/Dfxqv.asl → asllib/tests/asl.t/Dfxqv.asl
diff --git a/...8-Interpretation/8_1-Mutability/Dfxst.asl → asllib/tests/asl.t/Dfxst.asl b/...8-Interpretation/8_1-Mutability/Dfxst.asl → asllib/tests/asl.t/Dfxst.asl
diff --git a/...ceptionhandling/6_10_3-Catchers/Dggcq.asl → asllib/tests/asl.t/Dggcq.asl b/...ceptionhandling/6_10_3-Catchers/Dggcq.asl → asllib/tests/asl.t/Dggcq.asl
diff --git a/...Introduction/1_1-Specifications/Dgvbk.asl → asllib/tests/asl.t/Dgvbk.asl b/...Introduction/1_1-Specifications/Dgvbk.asl → asllib/tests/asl.t/Dgvbk.asl
diff --git a/...5_1-Side-effect-freesubprograms/Dgwwp.asl → asllib/tests/asl.t/Dgwwp.asl b/...5_1-Side-effect-freesubprograms/Dgwwp.asl → asllib/tests/asl.t/Dgwwp.asl
diff --git a/...amed,AnonymousandPrimitivetypes/Dgwxk.asl → asllib/tests/asl.t/Dgwxk.asl b/...amed,AnonymousandPrimitivetypes/Dgwxk.asl → asllib/tests/asl.t/Dgwxk.asl
diff --git a/...grules/7_4_1-Globaltypechecking/Dhbcp.asl → asllib/tests/asl.t/Dhbcp.asl b/...grules/7_4_1-Globaltypechecking/Dhbcp.asl → asllib/tests/asl.t/Dhbcp.asl
diff --git a/...-Staticallyevaluableexpressions/Dhlqc.asl → asllib/tests/asl.t/Dhlqc.asl b/...-Staticallyevaluableexpressions/Dhlqc.asl → asllib/tests/asl.t/Dhlqc.asl
diff --git a/...mentsyntax/6_4-Returnstatements/Dhtpl.asl → asllib/tests/asl.t/Dhtpl.asl b/...mentsyntax/6_4-Returnstatements/Dhtpl.asl → asllib/tests/asl.t/Dhtpl.asl
diff --git a/...types/8_4_1-Execution-timetypes/Djljd.asl → asllib/tests/asl.t/Djljd.asl b/...types/8_4_1-Execution-timetypes/Djljd.asl → asllib/tests/asl.t/Djljd.asl
diff --git a/...echecking/7_4-Typecheckingrules/Djrxm.asl → asllib/tests/asl.t/Djrxm.asl b/...echecking/7_4-Typecheckingrules/Djrxm.asl → asllib/tests/asl.t/Djrxm.asl
diff --git a/...ceptionhandling/6_10_3-Catchers/Djtdg.asl → asllib/tests/asl.t/Djtdg.asl b/...ceptionhandling/6_10_3-Catchers/Djtdg.asl → asllib/tests/asl.t/Djtdg.asl
diff --git a/...ntax/4_5-Subprogramdeclarations/Djwkg.asl → asllib/tests/asl.t/Djwkg.asl b/...ntax/4_5-Subprogramdeclarations/Djwkg.asl → asllib/tests/asl.t/Djwkg.asl
diff --git a/...ntax/4_5-Subprogramdeclarations/Djwxx.asl → asllib/tests/asl.t/Djwxx.asl b/...ntax/4_5-Subprogramdeclarations/Djwxx.asl → asllib/tests/asl.t/Djwxx.asl
diff --git a/...ompile-time-constantsubprograms/Dkckx.asl → asllib/tests/asl.t/Dkckx.asl b/...ompile-time-constantsubprograms/Dkckx.asl → asllib/tests/asl.t/Dkckx.asl
diff --git a/...3-Procedureinvocationstatements/Dkcyt.asl → asllib/tests/asl.t/Dkcyt.asl b/...3-Procedureinvocationstatements/Dkcyt.asl → asllib/tests/asl.t/Dkcyt.asl
diff --git a/...s/3_1-Singularandaggregatetypes/Dknbd.asl → asllib/tests/asl.t/Dknbd.asl b/...s/3_1-Singularandaggregatetypes/Dknbd.asl → asllib/tests/asl.t/Dknbd.asl
diff --git a/...pecification/5-Expressionsyntax/Dkxwt.asl → asllib/tests/asl.t/Dkxwt.asl b/...pecification/5-Expressionsyntax/Dkxwt.asl → asllib/tests/asl.t/Dkxwt.asl
diff --git a/...ing/7_5_2-Subprograminvocations/Dljlw.asl → asllib/tests/asl.t/Dljlw.asl b/...ing/7_5_2-Subprograminvocations/Dljlw.asl → asllib/tests/asl.t/Dljlw.asl
diff --git a/...ing/7_5_2-Subprograminvocations/Dmfbc.asl → asllib/tests/asl.t/Dmfbc.asl b/...ing/7_5_2-Subprograminvocations/Dmfbc.asl → asllib/tests/asl.t/Dmfbc.asl
diff --git a/...rations/4_5_3-GettersandSetters/Dmryb.asl → asllib/tests/asl.t/Dmryb.asl b/...rations/4_5_3-GettersandSetters/Dmryb.asl → asllib/tests/asl.t/Dmryb.asl
diff --git a/..._4_2-Compile-time-constanttypes/Dmtqj.asl → asllib/tests/asl.t/Dmtqj.asl b/..._4_2-Compile-time-constanttypes/Dmtqj.asl → asllib/tests/asl.t/Dmtqj.asl
diff --git a/...ecification/4-Declarationsyntax/Dnmfp.asl → asllib/tests/asl.t/Dnmfp.asl b/...ecification/4-Declarationsyntax/Dnmfp.asl → asllib/tests/asl.t/Dnmfp.asl
diff --git a/...ctortype/3_9_1-Typesofbitvector/Dnrwc.asl → asllib/tests/asl.t/Dnrwc.asl b/...ctortype/3_9_1-Typesofbitvector/Dnrwc.asl → asllib/tests/asl.t/Dnrwc.asl
diff --git a/...s/3_1-Singularandaggregatetypes/Dnzwt.asl → asllib/tests/asl.t/Dnzwt.asl b/...s/3_1-Singularandaggregatetypes/Dnzwt.asl → asllib/tests/asl.t/Dnzwt.asl
diff --git a/...ing/7_5_2-Subprograminvocations/Dpmbl.asl → asllib/tests/asl.t/Dpmbl.asl b/...ing/7_5_2-Subprograminvocations/Dpmbl.asl → asllib/tests/asl.t/Dpmbl.asl
diff --git a/...s/3_1-Singularandaggregatetypes/Dpqck.asl → asllib/tests/asl.t/Dpqck.asl b/...s/3_1-Singularandaggregatetypes/Dpqck.asl → asllib/tests/asl.t/Dpqck.asl
diff --git a/...tsyntax/6_6-Assertionstatements/Dqjyv.asl → asllib/tests/asl.t/Dqjyv.asl b/...tsyntax/6_6-Assertionstatements/Dqjyv.asl → asllib/tests/asl.t/Dqjyv.asl
diff --git a/...ntax/4_5-Subprogramdeclarations/Dqmyp.asl → asllib/tests/asl.t/Dqmyp.asl b/...ntax/4_5-Subprogramdeclarations/Dqmyp.asl → asllib/tests/asl.t/Dqmyp.asl
diff --git a/...ompile-time-constantsubprograms/Dqnhm.asl → asllib/tests/asl.t/Dqnhm.asl b/...ompile-time-constantsubprograms/Dqnhm.asl → asllib/tests/asl.t/Dqnhm.asl
diff --git a/...uiltintypes/3_13-Exceptiontypes/Dqxyc.asl → asllib/tests/asl.t/Dqxyc.asl b/...uiltintypes/3_13-Exceptiontypes/Dqxyc.asl → asllib/tests/asl.t/Dqxyc.asl
diff --git a/...ing/7_5_2-Subprograminvocations/Dtrfw.asl → asllib/tests/asl.t/Dtrfw.asl b/...ing/7_5_2-Subprograminvocations/Dtrfw.asl → asllib/tests/asl.t/Dtrfw.asl
diff --git a/...ypes/7_3_1-Subtype-satisfaction/Dtrvr.asl → asllib/tests/asl.t/Dtrvr.asl b/...ypes/7_3_1-Subtype-satisfaction/Dtrvr.asl → asllib/tests/asl.t/Dtrvr.asl
diff --git a/...ntax/4_5-Subprogramdeclarations/Dvftv.asl → asllib/tests/asl.t/Dvftv.asl b/...ntax/4_5-Subprogramdeclarations/Dvftv.asl → asllib/tests/asl.t/Dvftv.asl
diff --git a/...amed,AnonymousandPrimitivetypes/Dvmzx.asl → asllib/tests/asl.t/Dvmzx.asl b/...amed,AnonymousandPrimitivetypes/Dvmzx.asl → asllib/tests/asl.t/Dvmzx.asl
diff --git a/...ionsontypes/7_3_3-Type-clashing/Dvpzz.asl → asllib/tests/asl.t/Dvpzz.asl b/...ionsontypes/7_3_3-Type-clashing/Dvpzz.asl → asllib/tests/asl.t/Dvpzz.asl
diff --git a/...ing/7_5_2-Subprograminvocations/Dvxkm.asl → asllib/tests/asl.t/Dvxkm.asl b/...ing/7_5_2-Subprograminvocations/Dvxkm.asl → asllib/tests/asl.t/Dvxkm.asl
diff --git a/...3-Builtintypes/3_12-Recordtypes/Dwgqs.asl → asllib/tests/asl.t/Dwgqs.asl b/...3-Builtintypes/3_12-Recordtypes/Dwgqs.asl → asllib/tests/asl.t/Dwgqs.asl
diff --git a/...atements/6_5_2-Multi-assignment/Dwsxy.asl → asllib/tests/asl.t/Dwsxy.asl b/...atements/6_5_2-Multi-assignment/Dwsxy.asl → asllib/tests/asl.t/Dwsxy.asl
diff --git a/...ctortype/3_9_1-Typesofbitvector/Dwszm.asl → asllib/tests/asl.t/Dwszm.asl b/...ctortype/3_9_1-Typesofbitvector/Dwszm.asl → asllib/tests/asl.t/Dwszm.asl
diff --git a/...-Builtintypes/3_9-Bitvectortype/Dwxqv.asl → asllib/tests/asl.t/Dwxqv.asl b/...-Builtintypes/3_9-Bitvectortype/Dwxqv.asl → asllib/tests/asl.t/Dwxqv.asl
diff --git a/...ompile-time-constantexpressions/Dxrbt.asl → asllib/tests/asl.t/Dxrbt.asl b/...ompile-time-constantexpressions/Dxrbt.asl → asllib/tests/asl.t/Dxrbt.asl
diff --git a/...-Staticallyevaluableexpressions/Dyydw.asl → asllib/tests/asl.t/Dyydw.asl b/...-Staticallyevaluableexpressions/Dyydw.asl → asllib/tests/asl.t/Dyydw.asl
diff --git a/...iltintypes/3_7-Enumerationtypes/Dyzbq.asl → asllib/tests/asl.t/Dyzbq.asl b/...iltintypes/3_7-Enumerationtypes/Dyzbq.asl → asllib/tests/asl.t/Dyzbq.asl
diff --git a/...8_3_1-Execution-timeexpressions/Dzpmf.asl → asllib/tests/asl.t/Dzpmf.asl b/...8_3_1-Execution-timeexpressions/Dzpmf.asl → asllib/tests/asl.t/Dzpmf.asl
diff --git a/...rtype/3_4_1-ConstrainedIntegers/Dztpp.asl → asllib/tests/asl.t/Dztpp.asl b/...rtype/3_4_1-ConstrainedIntegers/Dztpp.asl → asllib/tests/asl.t/Dztpp.asl
diff --git a/...rtype/3_4_1-ConstrainedIntegers/Dzxss.asl → asllib/tests/asl.t/Dzxss.asl b/...rtype/3_4_1-ConstrainedIntegers/Dzxss.asl → asllib/tests/asl.t/Dzxss.asl
diff --git a/...7_12_3-Constrainedtypesexamples/Gmtxx.asl → asllib/tests/asl.t/Gmtxx.asl b/...7_12_3-Constrainedtypesexamples/Gmtxx.asl → asllib/tests/asl.t/Gmtxx.asl
diff --git a/...iltintypes/3_3-Constrainedtypes/Gpfrq.asl → asllib/tests/asl.t/Gpfrq.asl b/...iltintypes/3_3-Constrainedtypes/Gpfrq.asl → asllib/tests/asl.t/Gpfrq.asl
diff --git a/...egertype/3_4_2-Domainofintegers/Ibbqr.asl → asllib/tests/asl.t/Ibbqr.asl b/...egertype/3_4_2-Domainofintegers/Ibbqr.asl → asllib/tests/asl.t/Ibbqr.asl
diff --git a/...5_1-Side-effect-freesubprograms/Ibcww.asl → asllib/tests/asl.t/Ibcww.asl b/...5_1-Side-effect-freesubprograms/Ibcww.asl → asllib/tests/asl.t/Ibcww.asl
diff --git a/...9-Bitvectortype/3_9_9-Bitfields/Ibghb.asl → asllib/tests/asl.t/Ibghb.asl b/...9-Bitvectortype/3_9_9-Bitfields/Ibghb.asl → asllib/tests/asl.t/Ibghb.asl
diff --git a/...xamplesofcheckedtypeconversions/Ibhln.asl → asllib/tests/asl.t/Ibhln.asl b/...xamplesofcheckedtypeconversions/Ibhln.asl → asllib/tests/asl.t/Ibhln.asl
diff --git a/...cification/10-Runtimeenviroment/Ibklj.asl → asllib/tests/asl.t/Ibklj.asl b/...cification/10-Runtimeenviroment/Ibklj.asl → asllib/tests/asl.t/Ibklj.asl
diff --git a/...ependentlytypedbitvectorformals/Iblvp.asl → asllib/tests/asl.t/Iblvp.asl b/...ependentlytypedbitvectorformals/Iblvp.asl → asllib/tests/asl.t/Iblvp.asl
diff --git a/...orstorageelementsandexpressions/Ibtcy.asl → asllib/tests/asl.t/Ibtcy.asl b/...orstorageelementsandexpressions/Ibtcy.asl → asllib/tests/asl.t/Ibtcy.asl
diff --git a/...ing/7_5_2-Subprograminvocations/Ibtmt.asl → asllib/tests/asl.t/Ibtmt.asl b/...ing/7_5_2-Subprograminvocations/Ibtmt.asl → asllib/tests/asl.t/Ibtmt.asl
diff --git a/....t/Specification/3-Builtintypes/Ibyvl.asl → asllib/tests/asl.t/Ibyvl.asl b/....t/Specification/3-Builtintypes/Ibyvl.asl → asllib/tests/asl.t/Ibyvl.asl
diff --git a/...ependentlytypedbitvectorformals/Ibzvb.asl → asllib/tests/asl.t/Ibzvb.asl b/...ependentlytypedbitvectorformals/Ibzvb.asl → asllib/tests/asl.t/Ibzvb.asl
diff --git a/...egertype/3_4_2-Domainofintegers/Icdvy.asl → asllib/tests/asl.t/Icdvy.asl b/...egertype/3_4_2-Domainofintegers/Icdvy.asl → asllib/tests/asl.t/Icdvy.asl
diff --git a/...conversionsonintegerexpressions/Icgrh.asl → asllib/tests/asl.t/Icgrh.asl b/...conversionsonintegerexpressions/Icgrh.asl → asllib/tests/asl.t/Icgrh.asl
diff --git a/...lesofconstrainedwidthbitvectors/Icgyh.asl → asllib/tests/asl.t/Icgyh.asl b/...lesofconstrainedwidthbitvectors/Icgyh.asl → asllib/tests/asl.t/Icgyh.asl
diff --git a/...typedeclarations/4_3_1-Subtypes/Ichmp.asl → asllib/tests/asl.t/Ichmp.asl b/...typedeclarations/4_3_1-Subtypes/Ichmp.asl → asllib/tests/asl.t/Ichmp.asl
diff --git a/...atements/6_5_2-Multi-assignment/Icjvd.asl → asllib/tests/asl.t/Icjvd.asl b/...atements/6_5_2-Multi-assignment/Icjvd.asl → asllib/tests/asl.t/Icjvd.asl
diff --git a/...ing/7_5_2-Subprograminvocations/Icmlp.asl → asllib/tests/asl.t/Icmlp.asl b/...ing/7_5_2-Subprograminvocations/Icmlp.asl → asllib/tests/asl.t/Icmlp.asl
diff --git a/...9-Bitvectortype/3_9_9-Bitfields/Icvxb.asl → asllib/tests/asl.t/Icvxb.asl b/...9-Bitvectortype/3_9_9-Bitfields/Icvxb.asl → asllib/tests/asl.t/Icvxb.asl
diff --git a/...cification/10-Runtimeenviroment/Icxps.asl → asllib/tests/asl.t/Icxps.asl b/...cification/10-Runtimeenviroment/Icxps.asl → asllib/tests/asl.t/Icxps.asl
diff --git a/...grules/7_4_1-Globaltypechecking/Idfml.asl → asllib/tests/asl.t/Idfml.asl b/...grules/7_4_1-Globaltypechecking/Idfml.asl → asllib/tests/asl.t/Idfml.asl
diff --git a/...ntandinitializationtypechecking/Idgwj.asl → asllib/tests/asl.t/Idgwj.asl b/...ntandinitializationtypechecking/Idgwj.asl → asllib/tests/asl.t/Idgwj.asl
diff --git a/...n/3-Builtintypes/3_6-Stringtype/Idmnl.asl → asllib/tests/asl.t/Idmnl.asl b/...n/3-Builtintypes/3_6-Stringtype/Idmnl.asl → asllib/tests/asl.t/Idmnl.asl
diff --git a/...ntax/4_5-Subprogramdeclarations/Idvsm.asl → asllib/tests/asl.t/Idvsm.asl b/...ntax/4_5-Subprogramdeclarations/Idvsm.asl → asllib/tests/asl.t/Idvsm.asl
diff --git a/...orstorageelementsandexpressions/Ieoax.asl → asllib/tests/asl.t/Ieoax.asl b/...orstorageelementsandexpressions/Ieoax.asl → asllib/tests/asl.t/Ieoax.asl
diff --git a/...rations/4_5_3-GettersandSetters/Ifbvh.asl → asllib/tests/asl.t/Ifbvh.asl b/...rations/4_5_3-GettersandSetters/Ifbvh.asl → asllib/tests/asl.t/Ifbvh.asl
diff --git a/...les/7_4_3-Statementtypechecking/Ifcgk.asl → asllib/tests/asl.t/Ifcgk.asl b/...les/7_4_3-Statementtypechecking/Ifcgk.asl → asllib/tests/asl.t/Ifcgk.asl
diff --git a/...ts/6_2_2-Initializationoflocals/Ifkjc.asl → asllib/tests/asl.t/Ifkjc.asl b/...ts/6_2_2-Initializationoflocals/Ifkjc.asl → asllib/tests/asl.t/Ifkjc.asl
diff --git a/...ing/7_5_2-Subprograminvocations/Iflkf.asl → asllib/tests/asl.t/Iflkf.asl b/...ing/7_5_2-Subprograminvocations/Iflkf.asl → asllib/tests/asl.t/Iflkf.asl
diff --git a/...lesofconstrainedwidthbitvectors/Ifpvz.asl → asllib/tests/asl.t/Ifpvz.asl b/...lesofconstrainedwidthbitvectors/Ifpvz.asl → asllib/tests/asl.t/Ifpvz.asl
diff --git a/...ntypes/7_3_4-Subprogramclashing/Ifsfq.asl → asllib/tests/asl.t/Ifsfq.asl b/...ntypes/7_3_4-Subprogramclashing/Ifsfq.asl → asllib/tests/asl.t/Ifsfq.asl
diff --git a/.../6-Statementsyntax/6_11-Pragmas/Ifvrf.asl → asllib/tests/asl.t/Ifvrf.asl b/.../6-Statementsyntax/6_11-Pragmas/Ifvrf.asl → asllib/tests/asl.t/Ifvrf.asl
diff --git a/...5_1-Side-effect-freesubprograms/Ifyfn.asl → asllib/tests/asl.t/Ifyfn.asl b/...5_1-Side-effect-freesubprograms/Ifyfn.asl → asllib/tests/asl.t/Ifyfn.asl
diff --git a/...9-Bitvectortype/3_9_9-Bitfields/Ifzms.asl → asllib/tests/asl.t/Ifzms.asl b/...9-Bitvectortype/3_9_9-Bitfields/Ifzms.asl → asllib/tests/asl.t/Ifzms.asl
diff --git a/...pressions/8_5_1-Evaluationorder/Igfzt.asl → asllib/tests/asl.t/Igfzt.asl b/...pressions/8_5_1-Evaluationorder/Igfzt.asl → asllib/tests/asl.t/Igfzt.asl
diff --git a/...rtype/3_4_1-ConstrainedIntegers/Ighgk.asl → asllib/tests/asl.t/Ighgk.asl b/...rtype/3_4_1-ConstrainedIntegers/Ighgk.asl → asllib/tests/asl.t/Ighgk.asl
diff --git a/...yntax/5_12-TheUNKNOWNexpression/Igjhs.asl → asllib/tests/asl.t/Igjhs.asl b/...yntax/5_12-TheUNKNOWNexpression/Igjhs.asl → asllib/tests/asl.t/Igjhs.asl
diff --git a/...xamplesofcheckedtypeconversions/Igjzq.asl → asllib/tests/asl.t/Igjzq.asl b/...xamplesofcheckedtypeconversions/Igjzq.asl → asllib/tests/asl.t/Igjzq.asl
diff --git a/...ntax/4_5-Subprogramdeclarations/Igklw.asl → asllib/tests/asl.t/Igklw.asl b/...ntax/4_5-Subprogramdeclarations/Igklw.asl → asllib/tests/asl.t/Igklw.asl
diff --git a/...s/4_4_1-Initializationofglobals/Iglhk.asl → asllib/tests/asl.t/Iglhk.asl b/...s/4_4_1-Initializationofglobals/Iglhk.asl → asllib/tests/asl.t/Iglhk.asl
diff --git a/...ofbitvectorsofundeterminedwidth/Iglwm.asl → asllib/tests/asl.t/Iglwm.asl b/...ofbitvectorsofundeterminedwidth/Iglwm.asl → asllib/tests/asl.t/Iglwm.asl
diff --git a/...3-Bitvectorsoftheformbits_expr_/Igqmv.asl → asllib/tests/asl.t/Igqmv.asl b/...3-Bitvectorsoftheformbits_expr_/Igqmv.asl → asllib/tests/asl.t/Igqmv.asl
diff --git a/...xamplesofcheckedtypeconversions/Igqrd.asl → asllib/tests/asl.t/Igqrd.asl b/...xamplesofcheckedtypeconversions/Igqrd.asl → asllib/tests/asl.t/Igqrd.asl
diff --git a/...g/7_11-Bitvectorwidthcomparison/Igqyg.asl → asllib/tests/asl.t/Igqyg.asl b/...g/7_11-Bitvectorwidthcomparison/Igqyg.asl → asllib/tests/asl.t/Igqyg.asl
diff --git a/...ubtypesatisfactionandbitvectors/Igysk.asl → asllib/tests/asl.t/Igysk.asl b/...ubtypesatisfactionandbitvectors/Igysk.asl → asllib/tests/asl.t/Igysk.asl
diff --git a/...ceptionhandling/6_10_3-Catchers/Igzvm.asl → asllib/tests/asl.t/Igzvm.asl b/...ceptionhandling/6_10_3-Catchers/Igzvm.asl → asllib/tests/asl.t/Igzvm.asl
diff --git a/.../3-Builtintypes/3_4-Integertype/Ihjbh.asl → asllib/tests/asl.t/Ihjbh.asl b/.../3-Builtintypes/3_4-Integertype/Ihjbh.asl → asllib/tests/asl.t/Ihjbh.asl
diff --git a/...2-Tokens/2_2_2-Literalconstants/Ihjcd.asl → asllib/tests/asl.t/Ihjcd.asl b/...2-Tokens/2_2_2-Literalconstants/Ihjcd.asl → asllib/tests/asl.t/Ihjcd.asl
diff --git a/...x/4_1-Scopeofglobaldeclarations/Ihjrd.asl → asllib/tests/asl.t/Ihjrd.asl b/...x/4_1-Scopeofglobaldeclarations/Ihjrd.asl → asllib/tests/asl.t/Ihjrd.asl
diff --git a/...uiltintypes/3_13-Exceptiontypes/Ihlbl.asl → asllib/tests/asl.t/Ihlbl.asl b/...uiltintypes/3_13-Exceptiontypes/Ihlbl.asl → asllib/tests/asl.t/Ihlbl.asl
diff --git a/.../3-Builtintypes/3_11-Tupletypes/Ihmrk.asl → asllib/tests/asl.t/Ihmrk.asl b/.../3-Builtintypes/3_11-Tupletypes/Ihmrk.asl → asllib/tests/asl.t/Ihmrk.asl
diff --git a/...pecification/5-Expressionsyntax/Ihsql.asl → asllib/tests/asl.t/Ihsql.asl b/...pecification/5-Expressionsyntax/Ihsql.asl → asllib/tests/asl.t/Ihsql.asl
diff --git a/...ubtypesatisfactionandbitvectors/Ihswr.asl → asllib/tests/asl.t/Ihswr.asl b/...ubtypesatisfactionandbitvectors/Ihswr.asl → asllib/tests/asl.t/Ihswr.asl
diff --git a/...2-Compile-timeandexecution-time/Ihsww.asl → asllib/tests/asl.t/Ihsww.asl b/...2-Compile-timeandexecution-time/Ihsww.asl → asllib/tests/asl.t/Ihsww.asl
diff --git a/...re/2_2-Tokens/2_2_3-Identifiers/Ihvlx.asl → asllib/tests/asl.t/Ihvlx.asl b/...re/2_2-Tokens/2_2_3-Identifiers/Ihvlx.asl → asllib/tests/asl.t/Ihvlx.asl
diff --git a/...8_2_1-Execution-timesubprograms/Ihybt.asl → asllib/tests/asl.t/Ihybt.asl b/...8_2_1-Execution-timesubprograms/Ihybt.asl → asllib/tests/asl.t/Ihybt.asl
diff --git a/...9-Bitvectortype/3_9_9-Bitfields/Ijdcc.asl → asllib/tests/asl.t/Ijdcc.asl b/...9-Bitvectortype/3_9_9-Bitfields/Ijdcc.asl → asllib/tests/asl.t/Ijdcc.asl
diff --git a/...getterfunctions/5_9_1-Bitslices/Ijejd.asl → asllib/tests/asl.t/Ijejd.asl b/...getterfunctions/5_9_1-Bitslices/Ijejd.asl → asllib/tests/asl.t/Ijejd.asl
diff --git a/...ion/3-Builtintypes/3_5-Realtype/Ijqpk.asl → asllib/tests/asl.t/Ijqpk.asl b/...ion/3-Builtintypes/3_5-Realtype/Ijqpk.asl → asllib/tests/asl.t/Ijqpk.asl
diff --git a/....t/Specification/3-Builtintypes/Ijrdl.asl → asllib/tests/asl.t/Ijrdl.asl b/....t/Specification/3-Builtintypes/Ijrdl.asl → asllib/tests/asl.t/Ijrdl.asl
diff --git a/...3-Bitvectorsoftheformbits_expr_/Ijskw.asl → asllib/tests/asl.t/Ijskw.asl b/...3-Bitvectorsoftheformbits_expr_/Ijskw.asl → asllib/tests/asl.t/Ijskw.asl
diff --git a/...typedeclarations/4_3_1-Subtypes/Ijvrm.asl → asllib/tests/asl.t/Ijvrm.asl b/...typedeclarations/4_3_1-Subtypes/Ijvrm.asl → asllib/tests/asl.t/Ijvrm.asl
diff --git a/.../6_2_1-Scopeoflocaldeclarations/Ikbxm.asl → asllib/tests/asl.t/Ikbxm.asl b/.../6_2_1-Scopeoflocaldeclarations/Ikbxm.asl → asllib/tests/asl.t/Ikbxm.asl
diff --git a/...egertype/3_4_2-Domainofintegers/Ikfcr.asl → asllib/tests/asl.t/Ikfcr.asl b/...egertype/3_4_2-Domainofintegers/Ikfcr.asl → asllib/tests/asl.t/Ikfcr.asl
diff --git a/...syntax/6_9-Repetitivestatements/Ikfyg.asl → asllib/tests/asl.t/Ikfyg.asl b/...syntax/6_9-Repetitivestatements/Ikfyg.asl → asllib/tests/asl.t/Ikfyg.asl
diff --git a/...typedeclarations/4_3_1-Subtypes/Ikgks.asl → asllib/tests/asl.t/Ikgks.asl b/...typedeclarations/4_3_1-Subtypes/Ikgks.asl → asllib/tests/asl.t/Ikgks.asl
diff --git a/...9-Bitvectortype/3_9_9-Bitfields/Ikgmc.asl → asllib/tests/asl.t/Ikgmc.asl b/...9-Bitvectortype/3_9_9-Bitfields/Ikgmc.asl → asllib/tests/asl.t/Ikgmc.asl
diff --git a/...7_12_3-Constrainedtypesexamples/Ikjdr.asl → asllib/tests/asl.t/Ikjdr.asl b/...7_12_3-Constrainedtypesexamples/Ikjdr.asl → asllib/tests/asl.t/Ikjdr.asl
diff --git a/...ntandinitializationtypechecking/Ikkcc.asl → asllib/tests/asl.t/Ikkcc.asl b/...ntandinitializationtypechecking/Ikkcc.asl → asllib/tests/asl.t/Ikkcc.asl
diff --git a/..._4_2-Compile-time-constanttypes/Ikkqy.asl → asllib/tests/asl.t/Ikkqy.asl b/..._4_2-Compile-time-constanttypes/Ikkqy.asl → asllib/tests/asl.t/Ikkqy.asl
diff --git a/...ubtypesatisfactionandbitvectors/Iknxj.asl → asllib/tests/asl.t/Iknxj.asl b/...ubtypesatisfactionandbitvectors/Iknxj.asl → asllib/tests/asl.t/Iknxj.asl
diff --git a/...9-Bitvectortype/3_9_9-Bitfields/Ikpbx.asl → asllib/tests/asl.t/Ikpbx.asl b/...9-Bitvectortype/3_9_9-Bitfields/Ikpbx.asl → asllib/tests/asl.t/Ikpbx.asl
diff --git a/...ecking/7_2-Execution-timechecks/Ikrll.asl → asllib/tests/asl.t/Ikrll.asl b/...ecking/7_2-Execution-timechecks/Ikrll.asl → asllib/tests/asl.t/Ikrll.asl
diff --git a/...ing/7_5_2-Subprograminvocations/Iktjn.asl → asllib/tests/asl.t/Iktjn.asl b/...ing/7_5_2-Subprograminvocations/Iktjn.asl → asllib/tests/asl.t/Iktjn.asl
diff --git a/...ubtypesatisfactionandbitvectors/Ikxsd.asl → asllib/tests/asl.t/Ikxsd.asl b/...ubtypesatisfactionandbitvectors/Ikxsd.asl → asllib/tests/asl.t/Ikxsd.asl
diff --git a/.../7-Typeinferenceandtypechecking/Ildnp.asl → asllib/tests/asl.t/Ildnp.asl b/.../7-Typeinferenceandtypechecking/Ildnp.asl → asllib/tests/asl.t/Ildnp.asl
diff --git a/...ependentlytypedbitvectorformals/Ilfjz.asl → asllib/tests/asl.t/Ilfjz.asl b/...ependentlytypedbitvectorformals/Ilfjz.asl → asllib/tests/asl.t/Ilfjz.asl
diff --git a/...Primitiveoperationsonbitvectors/Ilghj.asl → asllib/tests/asl.t/Ilghj.asl b/...Primitiveoperationsonbitvectors/Ilghj.asl → asllib/tests/asl.t/Ilghj.asl
diff --git a/...rstaticallyevaluableexpressions/Ilhlr.asl → asllib/tests/asl.t/Ilhlr.asl b/...rstaticallyevaluableexpressions/Ilhlr.asl → asllib/tests/asl.t/Ilhlr.asl
diff --git a/...typedeclarations/4_3_1-Subtypes/Ilrvn.asl → asllib/tests/asl.t/Ilrvn.asl b/...typedeclarations/4_3_1-Subtypes/Ilrvn.asl → asllib/tests/asl.t/Ilrvn.asl
diff --git a/...x/4_1-Scopeofglobaldeclarations/Ilwqq.asl → asllib/tests/asl.t/Ilwqq.asl b/...x/4_1-Scopeofglobaldeclarations/Ilwqq.asl → asllib/tests/asl.t/Ilwqq.asl
diff --git a/...8_2_1-Execution-timesubprograms/Ilykd.asl → asllib/tests/asl.t/Ilykd.asl b/...8_2_1-Execution-timesubprograms/Ilykd.asl → asllib/tests/asl.t/Ilykd.asl
diff --git a/...-Staticallyevaluableexpressions/Ilzcx.asl → asllib/tests/asl.t/Ilzcx.asl b/...-Staticallyevaluableexpressions/Ilzcx.asl → asllib/tests/asl.t/Ilzcx.asl
diff --git a/...ypes/7_3_1-Subtype-satisfaction/Imhyb.asl → asllib/tests/asl.t/Imhyb.asl b/...ypes/7_3_1-Subtype-satisfaction/Imhyb.asl → asllib/tests/asl.t/Imhyb.asl
diff --git a/...meenviroment/10_1-Dynamicerrors/Imhys.asl → asllib/tests/asl.t/Imhys.asl b/...meenviroment/10_1-Dynamicerrors/Imhys.asl → asllib/tests/asl.t/Imhys.asl
diff --git a/...ceandtypechecking/7_9-Bitslices/Imjwm.asl → asllib/tests/asl.t/Imjwm.asl b/...ceandtypechecking/7_9-Bitslices/Imjwm.asl → asllib/tests/asl.t/Imjwm.asl
diff --git a/...xamplesofcheckedtypeconversions/Imkpr.asl → asllib/tests/asl.t/Imkpr.asl b/...xamplesofcheckedtypeconversions/Imkpr.asl → asllib/tests/asl.t/Imkpr.asl
diff --git a/...ntandinitializationtypechecking/Immkf.asl → asllib/tests/asl.t/Immkf.asl b/...ntandinitializationtypechecking/Immkf.asl → asllib/tests/asl.t/Immkf.asl
diff --git a/...ortype/3_9_5-Domainofabitvector/Impsw.asl → asllib/tests/asl.t/Impsw.asl b/...ortype/3_9_5-Domainofabitvector/Impsw.asl → asllib/tests/asl.t/Impsw.asl
diff --git a/.../3-Builtintypes/3_11-Tupletypes/Imqwb.asl → asllib/tests/asl.t/Imqwb.asl b/.../3-Builtintypes/3_11-Tupletypes/Imqwb.asl → asllib/tests/asl.t/Imqwb.asl
diff --git a/...ctortype/3_9_1-Typesofbitvector/Imrhk.asl → asllib/tests/asl.t/Imrhk.asl b/...ctortype/3_9_1-Typesofbitvector/Imrhk.asl → asllib/tests/asl.t/Imrhk.asl
diff --git a/...ompile-time-constantsubprograms/Imszt.asl → asllib/tests/asl.t/Imszt.asl b/...ompile-time-constantsubprograms/Imszt.asl → asllib/tests/asl.t/Imszt.asl
diff --git a/...typedeclarations/4_3_1-Subtypes/Imtml.asl → asllib/tests/asl.t/Imtml.asl b/...typedeclarations/4_3_1-Subtypes/Imtml.asl → asllib/tests/asl.t/Imtml.asl
diff --git a/...ofbitvectorsofundeterminedwidth/Imtwl.asl → asllib/tests/asl.t/Imtwl.asl b/...ofbitvectorsofundeterminedwidth/Imtwl.asl → asllib/tests/asl.t/Imtwl.asl
diff --git a/...x/4_1-Scopeofglobaldeclarations/Imvnz.asl → asllib/tests/asl.t/Imvnz.asl b/...x/4_1-Scopeofglobaldeclarations/Imvnz.asl → asllib/tests/asl.t/Imvnz.asl
diff --git a/...iltintypes/3_7-Enumerationtypes/Imzxl.asl → asllib/tests/asl.t/Imzxl.asl b/...iltintypes/3_7-Enumerationtypes/Imzxl.asl → asllib/tests/asl.t/Imzxl.asl
diff --git a/...rations/8_6_3-Integeroperations/Inbct.asl → asllib/tests/asl.t/Inbct.asl b/...rations/8_6_3-Integeroperations/Inbct.asl → asllib/tests/asl.t/Inbct.asl
diff --git a/...orstorageelementsandexpressions/Inhxt.asl → asllib/tests/asl.t/Inhxt.asl b/...orstorageelementsandexpressions/Inhxt.asl → asllib/tests/asl.t/Inhxt.asl
diff --git a/...ontypes/7_3_2-Type-Satisfaction/Inlfd.asl → asllib/tests/asl.t/Inlfd.asl b/...ontypes/7_3_2-Type-Satisfaction/Inlfd.asl → asllib/tests/asl.t/Inlfd.asl
diff --git a/...ompile-time-constantsubprograms/Intyz.asl → asllib/tests/asl.t/Intyz.asl b/...ompile-time-constantsubprograms/Intyz.asl → asllib/tests/asl.t/Intyz.asl
diff --git a/...8_2_1-Execution-timesubprograms/Inxjr.asl → asllib/tests/asl.t/Inxjr.asl b/...8_2_1-Execution-timesubprograms/Inxjr.asl → asllib/tests/asl.t/Inxjr.asl
diff --git a/...Introduction/1_1-Specifications/Inxkd.asl → asllib/tests/asl.t/Inxkd.asl b/...Introduction/1_1-Specifications/Inxkd.asl → asllib/tests/asl.t/Inxkd.asl
diff --git a/...2-Tokens/2_2_2-Literalconstants/Ipbpq.asl → asllib/tests/asl.t/Ipbpq.asl b/...2-Tokens/2_2_2-Literalconstants/Ipbpq.asl → asllib/tests/asl.t/Ipbpq.asl
diff --git a/...ependentlytypedbitvectorformals/Ipdkt.asl → asllib/tests/asl.t/Ipdkt.asl b/...ependentlytypedbitvectorformals/Ipdkt.asl → asllib/tests/asl.t/Ipdkt.asl
diff --git a/...ntypes/7_3_4-Subprogramclashing/Ipfgq.asl → asllib/tests/asl.t/Ipfgq.asl b/...ntypes/7_3_4-Subprogramclashing/Ipfgq.asl → asllib/tests/asl.t/Ipfgq.asl
diff --git a/...ntax/4_5-Subprogramdeclarations/Ipfng.asl → asllib/tests/asl.t/Ipfng.asl b/...ntax/4_5-Subprogramdeclarations/Ipfng.asl → asllib/tests/asl.t/Ipfng.asl
diff --git a/.../3-Builtintypes/3_10-Arraytypes/Ipgss.asl → asllib/tests/asl.t/Ipgss.asl b/.../3-Builtintypes/3_10-Arraytypes/Ipgss.asl → asllib/tests/asl.t/Ipgss.asl
diff --git a/...-Staticallyevaluableexpressions/Ipkxk.asl → asllib/tests/asl.t/Ipkxk.asl b/...-Staticallyevaluableexpressions/Ipkxk.asl → asllib/tests/asl.t/Ipkxk.asl
diff --git a/...ionsontypes/7_3_3-Type-clashing/Ipqct.asl → asllib/tests/asl.t/Ipqct.asl b/...ionsontypes/7_3_3-Type-clashing/Ipqct.asl → asllib/tests/asl.t/Ipqct.asl
diff --git a/...iltintypes/3_7-Enumerationtypes/Iprpy.asl → asllib/tests/asl.t/Iprpy.asl b/...iltintypes/3_7-Enumerationtypes/Iprpy.asl → asllib/tests/asl.t/Iprpy.asl
diff --git a/...2-Tokens/2_2_2-Literalconstants/Iqczx.asl → asllib/tests/asl.t/Iqczx.asl b/...2-Tokens/2_2_2-Literalconstants/Iqczx.asl → asllib/tests/asl.t/Iqczx.asl
diff --git a/...9-Bitvectortype/3_9_9-Bitfields/Iqdhp.asl → asllib/tests/asl.t/Iqdhp.asl b/...9-Bitvectortype/3_9_9-Bitfields/Iqdhp.asl → asllib/tests/asl.t/Iqdhp.asl
diff --git a/...ortype/3_9_5-Domainofabitvector/Iqfzh.asl → asllib/tests/asl.t/Iqfzh.asl b/...ortype/3_9_5-Domainofabitvector/Iqfzh.asl → asllib/tests/asl.t/Iqfzh.asl
diff --git a/...rations/4_5_3-GettersandSetters/Iqjnf.asl → asllib/tests/asl.t/Iqjnf.asl b/...rations/4_5_3-GettersandSetters/Iqjnf.asl → asllib/tests/asl.t/Iqjnf.asl
diff --git a/...essions/8_5_1-Evaluationorder/Iqjtn_a.asl → asllib/tests/asl.t/Iqjtn_a.asl b/...essions/8_5_1-Evaluationorder/Iqjtn_a.asl → asllib/tests/asl.t/Iqjtn_a.asl
diff --git a/...essions/8_5_1-Evaluationorder/Iqjtn_b.asl → asllib/tests/asl.t/Iqjtn_b.asl b/...essions/8_5_1-Evaluationorder/Iqjtn_b.asl → asllib/tests/asl.t/Iqjtn_b.asl
diff --git a/...essions/8_5_1-Evaluationorder/Iqjtn_c.asl → asllib/tests/asl.t/Iqjtn_c.asl b/...essions/8_5_1-Evaluationorder/Iqjtn_c.asl → asllib/tests/asl.t/Iqjtn_c.asl
diff --git a/...essions/8_5_1-Evaluationorder/Iqjtn_d.asl → asllib/tests/asl.t/Iqjtn_d.asl b/...essions/8_5_1-Evaluationorder/Iqjtn_d.asl → asllib/tests/asl.t/Iqjtn_d.asl
diff --git a/...iltintypes/3_7-Enumerationtypes/Iqmwt.asl → asllib/tests/asl.t/Iqmwt.asl b/...iltintypes/3_7-Enumerationtypes/Iqmwt.asl → asllib/tests/asl.t/Iqmwt.asl
diff --git a/...lesofconstrainedwidthbitvectors/Iqnsd.asl → asllib/tests/asl.t/Iqnsd.asl b/...lesofconstrainedwidthbitvectors/Iqnsd.asl → asllib/tests/asl.t/Iqnsd.asl
diff --git a/...pressions/8_5_1-Evaluationorder/Iqrxp.asl → asllib/tests/asl.t/Iqrxp.asl b/...pressions/8_5_1-Evaluationorder/Iqrxp.asl → asllib/tests/asl.t/Iqrxp.asl
diff --git a/...nsyntax/5_7-FunctionInvocations/Iqslr.asl → asllib/tests/asl.t/Iqslr.asl b/...nsyntax/5_7-FunctionInvocations/Iqslr.asl → asllib/tests/asl.t/Iqslr.asl
diff --git a/...yntax/4_4-Globalstorageelements/Irbzw.asl → asllib/tests/asl.t/Irbzw.asl b/...yntax/4_4-Globalstorageelements/Irbzw.asl → asllib/tests/asl.t/Irbzw.asl
diff --git a/...ependentlytypedbitvectorformals/Irkbv.asl → asllib/tests/asl.t/Irkbv.asl b/...ependentlytypedbitvectorformals/Irkbv.asl → asllib/tests/asl.t/Irkbv.asl
diff --git a/...ependentlytypedbitvectorformals/Irqqb.asl → asllib/tests/asl.t/Irqqb.asl b/...ependentlytypedbitvectorformals/Irqqb.asl → asllib/tests/asl.t/Irqqb.asl
diff --git a/...ortype/3_9_5-Domainofabitvector/Irxlg.asl → asllib/tests/asl.t/Irxlg.asl b/...ortype/3_9_5-Domainofabitvector/Irxlg.asl → asllib/tests/asl.t/Irxlg.asl
diff --git a/...time-constantintegerexpressions/Iryrp.asl → asllib/tests/asl.t/Iryrp.asl b/...time-constantintegerexpressions/Iryrp.asl → asllib/tests/asl.t/Iryrp.asl
diff --git a/...es/7_12_2-Anonymoustypesexample/Isbck.asl → asllib/tests/asl.t/Isbck.asl b/...es/7_12_2-Anonymoustypesexample/Isbck.asl → asllib/tests/asl.t/Isbck.asl
diff --git a/...tax/5_11-Checkedtypeconversions/Isbfk.asl → asllib/tests/asl.t/Isbfk.asl b/...tax/5_11-Checkedtypeconversions/Isbfk.asl → asllib/tests/asl.t/Isbfk.asl
diff --git a/...ing/7_5_2-Subprograminvocations/Isbwr.asl → asllib/tests/asl.t/Isbwr.asl b/...ing/7_5_2-Subprograminvocations/Isbwr.asl → asllib/tests/asl.t/Isbwr.asl
diff --git a/...-Builtintypes/3_9-Bitvectortype/Iscbx.asl → asllib/tests/asl.t/Iscbx.asl b/...-Builtintypes/3_9-Bitvectortype/Iscbx.asl → asllib/tests/asl.t/Iscbx.asl
diff --git a/...re/2_2-Tokens/2_2_3-Identifiers/Iscly.asl → asllib/tests/asl.t/Iscly.asl b/...re/2_2-Tokens/2_2_3-Identifiers/Iscly.asl → asllib/tests/asl.t/Iscly.asl
diff --git a/...ntypes/7_3_4-Subprogramclashing/Isctb.asl → asllib/tests/asl.t/Isctb.asl b/...ntypes/7_3_4-Subprogramclashing/Isctb.asl → asllib/tests/asl.t/Isctb.asl
diff --git a/...ypes/7_3_1-Subtype-satisfaction/Isjdc.asl → asllib/tests/asl.t/Isjdc.asl b/...ypes/7_3_1-Subtype-satisfaction/Isjdc.asl → asllib/tests/asl.t/Isjdc.asl
diff --git a/...grules/7_4_1-Globaltypechecking/Ismmh.asl → asllib/tests/asl.t/Ismmh.asl b/...grules/7_4_1-Globaltypechecking/Ismmh.asl → asllib/tests/asl.t/Ismmh.asl
diff --git a/...ortype/3_9_5-Domainofabitvector/Isqvv.asl → asllib/tests/asl.t/Isqvv.asl b/...ortype/3_9_5-Domainofabitvector/Isqvv.asl → asllib/tests/asl.t/Isqvv.asl
diff --git a/...atements/6_5_2-Multi-assignment/Issxj.asl → asllib/tests/asl.t/Issxj.asl b/...atements/6_5_2-Multi-assignment/Issxj.asl → asllib/tests/asl.t/Issxj.asl
diff --git a/...ing/7_10-Checkedtypeconversions/Iszvf.asl → asllib/tests/asl.t/Iszvf.asl b/...ing/7_10-Checkedtypeconversions/Iszvf.asl → asllib/tests/asl.t/Iszvf.asl
diff --git a/...ependentlytypedbitvectorformals/Itbhh.asl → asllib/tests/asl.t/Itbhh.asl b/...ependentlytypedbitvectorformals/Itbhh.asl → asllib/tests/asl.t/Itbhh.asl
diff --git a/...conversionsonintegerexpressions/Itcst.asl → asllib/tests/asl.t/Itcst.asl b/...conversionsonintegerexpressions/Itcst.asl → asllib/tests/asl.t/Itcst.asl
diff --git a/...3-Builtintypes/3_12-Recordtypes/Itfps.asl → asllib/tests/asl.t/Itfps.asl b/...3-Builtintypes/3_12-Recordtypes/Itfps.asl → asllib/tests/asl.t/Itfps.asl
diff --git a/...getterfunctions/5_9_1-Bitslices/Itfsz.asl → asllib/tests/asl.t/Itfsz.asl b/...getterfunctions/5_9_1-Bitslices/Itfsz.asl → asllib/tests/asl.t/Itfsz.asl
diff --git a/...ependentlytypedbitvectorformals/Itqgh.asl → asllib/tests/asl.t/Itqgh.asl b/...ependentlytypedbitvectorformals/Itqgh.asl → asllib/tests/asl.t/Itqgh.asl
diff --git a/.../5-Expressionsyntax/5_10-Tuples/Itsxl.asl → asllib/tests/asl.t/Itsxl.asl b/.../5-Expressionsyntax/5_10-Tuples/Itsxl.asl → asllib/tests/asl.t/Itsxl.asl
diff --git a/...rations/4_5_3-GettersandSetters/Itvdt.asl → asllib/tests/asl.t/Itvdt.asl b/...rations/4_5_3-GettersandSetters/Itvdt.asl → asllib/tests/asl.t/Itvdt.asl
diff --git a/...ntax/4_5-Subprogramdeclarations/Itwjf.asl → asllib/tests/asl.t/Itwjf.asl b/...ntax/4_5-Subprogramdeclarations/Itwjf.asl → asllib/tests/asl.t/Itwjf.asl
diff --git a/...ubtypesatisfactionandbitvectors/Itwtz.asl → asllib/tests/asl.t/Itwtz.asl b/...ubtypesatisfactionandbitvectors/Itwtz.asl → asllib/tests/asl.t/Itwtz.asl
diff --git a/...bitvectorsofundeterminedwidth/Itzvj_a.asl → asllib/tests/asl.t/Itzvj_a.asl b/...bitvectorsofundeterminedwidth/Itzvj_a.asl → asllib/tests/asl.t/Itzvj_a.asl
diff --git a/...bitvectorsofundeterminedwidth/Itzvj_b.asl → asllib/tests/asl.t/Itzvj_b.asl b/...bitvectorsofundeterminedwidth/Itzvj_b.asl → asllib/tests/asl.t/Itzvj_b.asl
diff --git a/...ing/7_5_2-Subprograminvocations/Ivfdp.asl → asllib/tests/asl.t/Ivfdp.asl b/...ing/7_5_2-Subprograminvocations/Ivfdp.asl → asllib/tests/asl.t/Ivfdp.asl
diff --git a/...nsyntax/5_7-FunctionInvocations/Ivgsp.asl → asllib/tests/asl.t/Ivgsp.asl b/...nsyntax/5_7-FunctionInvocations/Ivgsp.asl → asllib/tests/asl.t/Ivgsp.asl
diff --git a/...ortype/3_9_5-Domainofabitvector/Ivmkf.asl → asllib/tests/asl.t/Ivmkf.asl b/...ortype/3_9_5-Domainofabitvector/Ivmkf.asl → asllib/tests/asl.t/Ivmkf.asl
diff --git a/...5-Primitiveoperationsonintegers/Ivmzf.asl → asllib/tests/asl.t/Ivmzf.asl b/...5-Primitiveoperationsonintegers/Ivmzf.asl → asllib/tests/asl.t/Ivmzf.asl
diff --git a/...ortype/3_9_5-Domainofabitvector/Ivpst.asl → asllib/tests/asl.t/Ivpst.asl b/...ortype/3_9_5-Domainofabitvector/Ivpst.asl → asllib/tests/asl.t/Ivpst.asl
diff --git a/...yntax/4_4-Globalstorageelements/Ivqhq.asl → asllib/tests/asl.t/Ivqhq.asl b/...yntax/4_4-Globalstorageelements/Ivqhq.asl → asllib/tests/asl.t/Ivqhq.asl
diff --git a/...kedtypeconversionsonexpressions/Ivqlx.asl → asllib/tests/asl.t/Ivqlx.asl b/...kedtypeconversionsonexpressions/Ivqlx.asl → asllib/tests/asl.t/Ivqlx.asl
diff --git a/...s/4_4_1-Initializationofglobals/Ivylk.asl → asllib/tests/asl.t/Ivylk.asl b/...s/4_4_1-Initializationofglobals/Ivylk.asl → asllib/tests/asl.t/Ivylk.asl
diff --git a/...egertype/3_4_2-Domainofintegers/Iwbwl.asl → asllib/tests/asl.t/Iwbwl.asl b/...egertype/3_4_2-Domainofintegers/Iwbwl.asl → asllib/tests/asl.t/Iwbwl.asl
diff --git a/...sionsyntax/5_8-Literalconstants/Iwdmd.asl → asllib/tests/asl.t/Iwdmd.asl b/...sionsyntax/5_8-Literalconstants/Iwdmd.asl → asllib/tests/asl.t/Iwdmd.asl
diff --git a/...rations/4_5_3-GettersandSetters/Iwhlv.asl → asllib/tests/asl.t/Iwhlv.asl b/...rations/4_5_3-GettersandSetters/Iwhlv.asl → asllib/tests/asl.t/Iwhlv.asl
diff --git a/...ion/3-Builtintypes/3_5-Realtype/Iwjcl.asl → asllib/tests/asl.t/Iwjcl.asl b/...ion/3-Builtintypes/3_5-Realtype/Iwjcl.asl → asllib/tests/asl.t/Iwjcl.asl
diff --git a/...ssionsyntax/5_3-Patternmatching/Iwlnm.asl → asllib/tests/asl.t/Iwlnm.asl b/...ssionsyntax/5_3-Patternmatching/Iwlnm.asl → asllib/tests/asl.t/Iwlnm.asl
diff --git a/...egertype/3_4_2-Domainofintegers/Iwlpj.asl → asllib/tests/asl.t/Iwlpj.asl b/...egertype/3_4_2-Domainofintegers/Iwlpj.asl → asllib/tests/asl.t/Iwlpj.asl
diff --git a/...types/8_4_1-Execution-timetypes/Iwvgg.asl → asllib/tests/asl.t/Iwvgg.asl b/...types/8_4_1-Execution-timetypes/Iwvgg.asl → asllib/tests/asl.t/Iwvgg.asl
diff --git a/...rtype/3_4_3-Basevalueofintegers/Iwvqz.asl → asllib/tests/asl.t/Iwvqz.asl b/...rtype/3_4_3-Basevalueofintegers/Iwvqz.asl → asllib/tests/asl.t/Iwvqz.asl
diff --git a/...meenviroment/10_1-Dynamicerrors/Iwxgp.asl → asllib/tests/asl.t/Iwxgp.asl b/...meenviroment/10_1-Dynamicerrors/Iwxgp.asl → asllib/tests/asl.t/Iwxgp.asl
diff --git a/....t/Specification/3-Builtintypes/Iwykz.asl → asllib/tests/asl.t/Iwykz.asl b/....t/Specification/3-Builtintypes/Iwykz.asl → asllib/tests/asl.t/Iwykz.asl
diff --git a/...ionsontypes/7_3_3-Type-clashing/Iwzkm.asl → asllib/tests/asl.t/Iwzkm.asl b/...ionsontypes/7_3_3-Type-clashing/Iwzkm.asl → asllib/tests/asl.t/Iwzkm.asl
diff --git a/.../5-Expressionsyntax/5_10-Tuples/Ixfpv.asl → asllib/tests/asl.t/Ixfpv.asl b/.../5-Expressionsyntax/5_10-Tuples/Ixfpv.asl → asllib/tests/asl.t/Ixfpv.asl
diff --git a/...9-Bitvectortype/3_9_9-Bitfields/Ixpdt.asl → asllib/tests/asl.t/Ixpdt.asl b/...9-Bitvectortype/3_9_9-Bitfields/Ixpdt.asl → asllib/tests/asl.t/Ixpdt.asl
diff --git a/...ompile-time-constantexpressions/Ixsfy.asl → asllib/tests/asl.t/Ixsfy.asl b/...ompile-time-constantexpressions/Ixsfy.asl → asllib/tests/asl.t/Ixsfy.asl
diff --git a/...ing/7_10-Checkedtypeconversions/Ixvbg.asl → asllib/tests/asl.t/Ixvbg.asl b/...ing/7_10-Checkedtypeconversions/Ixvbg.asl → asllib/tests/asl.t/Ixvbg.asl
diff --git a/...8_3_1-Execution-timeexpressions/Ixykc.asl → asllib/tests/asl.t/Ixykc.asl b/...8_3_1-Execution-timeexpressions/Ixykc.asl → asllib/tests/asl.t/Ixykc.asl
diff --git a/..._4_2-Compile-time-constanttypes/Iybgl.asl → asllib/tests/asl.t/Iybgl.asl b/..._4_2-Compile-time-constanttypes/Iybgl.asl → asllib/tests/asl.t/Iybgl.asl
diff --git a/...2-Bitvectorsoftheformbits_-_ty_/Iybhf.asl → asllib/tests/asl.t/Iybhf.asl b/...2-Bitvectorsoftheformbits_-_ty_/Iybhf.asl → asllib/tests/asl.t/Iybhf.asl
diff --git a/...syntax/6_9-Repetitivestatements/Iydbr.asl → asllib/tests/asl.t/Iydbr.asl b/...syntax/6_9-Repetitivestatements/Iydbr.asl → asllib/tests/asl.t/Iydbr.asl
diff --git a/...ion/3-Builtintypes/3_5-Realtype/Iyftf.asl → asllib/tests/asl.t/Iyftf.asl b/...ion/3-Builtintypes/3_5-Realtype/Iyftf.asl → asllib/tests/asl.t/Iyftf.asl
diff --git a/...5-Primitiveoperationsonintegers/Iyhml.asl → asllib/tests/asl.t/Iyhml.asl b/...5-Primitiveoperationsonintegers/Iyhml.asl → asllib/tests/asl.t/Iyhml.asl
diff --git a/...5-Primitiveoperationsonintegers/Iyhrp.asl → asllib/tests/asl.t/Iyhrp.asl b/...5-Primitiveoperationsonintegers/Iyhrp.asl → asllib/tests/asl.t/Iyhrp.asl
diff --git a/...conversionsonintegerexpressions/Iyjbb.asl → asllib/tests/asl.t/Iyjbb.asl b/...conversionsonintegerexpressions/Iyjbb.asl → asllib/tests/asl.t/Iyjbb.asl
diff --git a/...ing/6_10_4-Rethrowingexceptions/Iyklf.asl → asllib/tests/asl.t/Iyklf.asl b/...ing/6_10_4-Rethrowingexceptions/Iyklf.asl → asllib/tests/asl.t/Iyklf.asl
diff --git a/...ing/7_5_2-Subprograminvocations/Iymhx.asl → asllib/tests/asl.t/Iymhx.asl b/...ing/7_5_2-Subprograminvocations/Iymhx.asl → asllib/tests/asl.t/Iymhx.asl
diff --git a/...pressions/8_5_1-Evaluationorder/Iymrt.asl → asllib/tests/asl.t/Iymrt.asl b/...pressions/8_5_1-Evaluationorder/Iymrt.asl → asllib/tests/asl.t/Iymrt.asl
diff --git a/...yntax/4_4-Globalstorageelements/Iypxd.asl → asllib/tests/asl.t/Iypxd.asl b/...yntax/4_4-Globalstorageelements/Iypxd.asl → asllib/tests/asl.t/Iypxd.asl
diff --git a/...ceptionhandling/6_10_3-Catchers/Iywkg.asl → asllib/tests/asl.t/Iywkg.asl b/...ceptionhandling/6_10_3-Catchers/Iywkg.asl → asllib/tests/asl.t/Iywkg.asl
diff --git a/...5-Primitiveoperationsonintegers/Iyxsy.asl → asllib/tests/asl.t/Iyxsy.asl b/...5-Primitiveoperationsonintegers/Iyxsy.asl → asllib/tests/asl.t/Iyxsy.asl
diff --git a/...ntandinitializationtypechecking/Iyyqx.asl → asllib/tests/asl.t/Iyyqx.asl b/...ntandinitializationtypechecking/Iyyqx.asl → asllib/tests/asl.t/Iyyqx.asl
diff --git a/...rtype/3_4_1-ConstrainedIntegers/Izddj.asl → asllib/tests/asl.t/Izddj.asl b/...rtype/3_4_1-ConstrainedIntegers/Izddj.asl → asllib/tests/asl.t/Izddj.asl
diff --git a/...kedtypeconversionsonexpressions/Izlbw.asl → asllib/tests/asl.t/Izlbw.asl b/...kedtypeconversionsonexpressions/Izlbw.asl → asllib/tests/asl.t/Izlbw.asl
diff --git a/...ependentlytypedbitvectorformals/Izlzc.asl → asllib/tests/asl.t/Izlzc.asl b/...ependentlytypedbitvectorformals/Izlzc.asl → asllib/tests/asl.t/Izlzc.asl
diff --git a/...ompile-time-constantsubprograms/Izpwm.asl → asllib/tests/asl.t/Izpwm.asl b/...ompile-time-constantsubprograms/Izpwm.asl → asllib/tests/asl.t/Izpwm.asl
diff --git a/...echecking/7_4-Typecheckingrules/Iztmq.asl → asllib/tests/asl.t/Iztmq.asl b/...echecking/7_4-Typecheckingrules/Iztmq.asl → asllib/tests/asl.t/Iztmq.asl
diff --git a/...9-Bitvectortype/3_9_9-Bitfields/Rbdjk.asl → asllib/tests/asl.t/Rbdjk.asl b/...9-Bitvectortype/3_9_9-Bitfields/Rbdjk.asl → asllib/tests/asl.t/Rbdjk.asl
diff --git a/...syntax/6_2-Localstorageelements/Rbfwl.asl → asllib/tests/asl.t/Rbfwl.asl b/...syntax/6_2-Localstorageelements/Rbfwl.asl → asllib/tests/asl.t/Rbfwl.asl
diff --git a/...yntax/4_4-Globalstorageelements/Rbhmy.asl → asllib/tests/asl.t/Rbhmy.asl b/...yntax/4_4-Globalstorageelements/Rbhmy.asl → asllib/tests/asl.t/Rbhmy.asl
diff --git a/...oading/7_5_3-PrimitiveOperators/Rbknt.asl → asllib/tests/asl.t/Rbknt.asl b/...oading/7_5_3-PrimitiveOperators/Rbknt.asl → asllib/tests/asl.t/Rbknt.asl
diff --git a/...operations/8_6_2-Realoperations/Rbncy.asl → asllib/tests/asl.t/Rbncy.asl b/...operations/8_6_2-Realoperations/Rbncy.asl → asllib/tests/asl.t/Rbncy.asl
diff --git a/...ing/7_5_2-Subprograminvocations/Rbqjg.asl → asllib/tests/asl.t/Rbqjg.asl b/...ing/7_5_2-Subprograminvocations/Rbqjg.asl → asllib/tests/asl.t/Rbqjg.asl
diff --git a/...ing/6_10_4-Rethrowingexceptions/Rbrcj.asl → asllib/tests/asl.t/Rbrcj.asl b/...ing/6_10_4-Rethrowingexceptions/Rbrcj.asl → asllib/tests/asl.t/Rbrcj.asl
diff --git a/...tions/8_6_4-Bitvectoroperations/Rbrcm.asl → asllib/tests/asl.t/Rbrcm.asl b/...tions/8_6_4-Bitvectoroperations/Rbrcm.asl → asllib/tests/asl.t/Rbrcm.asl
diff --git a/...rtype/3_4_1-ConstrainedIntegers/Rbsmk.asl → asllib/tests/asl.t/Rbsmk.asl b/...rtype/3_4_1-ConstrainedIntegers/Rbsmk.asl → asllib/tests/asl.t/Rbsmk.asl
diff --git a/...cification/10-Runtimeenviroment/Rbsqr.asl → asllib/tests/asl.t/Rbsqr.asl b/...cification/10-Runtimeenviroment/Rbsqr.asl → asllib/tests/asl.t/Rbsqr.asl
diff --git a/...uiltintypes/3_13-Exceptiontypes/Rbwdx.asl → asllib/tests/asl.t/Rbwdx.asl b/...uiltintypes/3_13-Exceptiontypes/Rbwdx.asl → asllib/tests/asl.t/Rbwdx.asl
diff --git a/...5-Primitiveoperationsonintegers/Rbzkw.asl → asllib/tests/asl.t/Rbzkw.asl b/...5-Primitiveoperationsonintegers/Rbzkw.asl → asllib/tests/asl.t/Rbzkw.asl
diff --git a/...ing/7_5_2-Subprograminvocations/Rccvd.asl → asllib/tests/asl.t/Rccvd.asl b/...ing/7_5_2-Subprograminvocations/Rccvd.asl → asllib/tests/asl.t/Rccvd.asl
diff --git a/...rtype/3_4_3-Basevalueofintegers/Rcftd.asl → asllib/tests/asl.t/Rcftd.asl b/...rtype/3_4_3-Basevalueofintegers/Rcftd.asl → asllib/tests/asl.t/Rcftd.asl
diff --git a/...9-Bitvectortype/3_9_9-Bitfields/Rcgdg.asl → asllib/tests/asl.t/Rcgdg.asl b/...9-Bitvectortype/3_9_9-Bitfields/Rcgdg.asl → asllib/tests/asl.t/Rcgdg.asl
diff --git a/.../3-Builtintypes/3_11-Tupletypes/Rcgwr.asl → asllib/tests/asl.t/Rcgwr.asl b/.../3-Builtintypes/3_11-Tupletypes/Rcgwr.asl → asllib/tests/asl.t/Rcgwr.asl
diff --git a/...9-Bitvectortype/3_9_9-Bitfields/Rchbw.asl → asllib/tests/asl.t/Rchbw.asl b/...9-Bitvectortype/3_9_9-Bitfields/Rchbw.asl → asllib/tests/asl.t/Rchbw.asl
diff --git a/...uiltintypes/3_13-Exceptiontypes/Rchkr.asl → asllib/tests/asl.t/Rchkr.asl b/...uiltintypes/3_13-Exceptiontypes/Rchkr.asl → asllib/tests/asl.t/Rchkr.asl
diff --git a/...cification/10-Runtimeenviroment/Rchth.asl → asllib/tests/asl.t/Rchth.asl b/...cification/10-Runtimeenviroment/Rchth.asl → asllib/tests/asl.t/Rchth.asl
diff --git a/...s/4_4_1-Initializationofglobals/Rckgp.asl → asllib/tests/asl.t/Rckgp.asl b/...s/4_4_1-Initializationofglobals/Rckgp.asl → asllib/tests/asl.t/Rckgp.asl
diff --git a/...syntax/6_2-Localstorageelements/Rclqj.asl → asllib/tests/asl.t/Rclqj.asl b/...syntax/6_2-Localstorageelements/Rclqj.asl → asllib/tests/asl.t/Rclqj.asl
diff --git a/...9-Bitvectortype/3_9_9-Bitfields/Rcnhb.asl → asllib/tests/asl.t/Rcnhb.asl b/...9-Bitvectortype/3_9_9-Bitfields/Rcnhb.asl → asllib/tests/asl.t/Rcnhb.asl
diff --git a/.../3-Builtintypes/3_8-Booleantype/Rcpck.asl → asllib/tests/asl.t/Rcpck.asl b/.../3-Builtintypes/3_8-Booleantype/Rcpck.asl → asllib/tests/asl.t/Rcpck.asl
diff --git a/...rations/8_6_3-Integeroperations/Rcrqj.asl → asllib/tests/asl.t/Rcrqj.asl b/...rations/8_6_3-Integeroperations/Rcrqj.asl → asllib/tests/asl.t/Rcrqj.asl
diff --git a/...CaseStatements/6_8_1-Caseguards/Rcwnt.asl → asllib/tests/asl.t/Rcwnt.asl b/...CaseStatements/6_8_1-Caseguards/Rcwnt.asl → asllib/tests/asl.t/Rcwnt.asl
diff --git a/...rtype/3_4_1-ConstrainedIntegers/Rcztx.asl → asllib/tests/asl.t/Rcztx.asl b/...rtype/3_4_1-ConstrainedIntegers/Rcztx.asl → asllib/tests/asl.t/Rcztx.asl
diff --git a/...yntax/4_4-Globalstorageelements/Rdbzz.asl → asllib/tests/asl.t/Rdbzz.asl b/...yntax/4_4-Globalstorageelements/Rdbzz.asl → asllib/tests/asl.t/Rdbzz.asl
diff --git a/...ntax/4_5-Subprogramdeclarations/Rdfwz.asl → asllib/tests/asl.t/Rdfwz.asl b/...ntax/4_5-Subprogramdeclarations/Rdfwz.asl → asllib/tests/asl.t/Rdfwz.asl
diff --git a/...Specification/9-Standardlibrary/Rdgbm.asl → asllib/tests/asl.t/Rdgbm.asl b/...Specification/9-Standardlibrary/Rdgbm.asl → asllib/tests/asl.t/Rdgbm.asl
diff --git a/.../3-Builtintypes/3_10-Arraytypes/Rdgjt.asl → asllib/tests/asl.t/Rdgjt.asl b/.../3-Builtintypes/3_10-Arraytypes/Rdgjt.asl → asllib/tests/asl.t/Rdgjt.asl
diff --git a/...onhandling/6_10_1-Trystatements/Rdgrv.asl → asllib/tests/asl.t/Rdgrv.asl b/...onhandling/6_10_1-Trystatements/Rdgrv.asl → asllib/tests/asl.t/Rdgrv.asl
diff --git a/...ceptionhandling/6_10_3-Catchers/Rdhkh.asl → asllib/tests/asl.t/Rdhkh.asl b/...ceptionhandling/6_10_3-Catchers/Rdhkh.asl → asllib/tests/asl.t/Rdhkh.asl
diff --git a/...x/4_1-Scopeofglobaldeclarations/Rdhrc.asl → asllib/tests/asl.t/Rdhrc.asl b/...x/4_1-Scopeofglobaldeclarations/Rdhrc.asl → asllib/tests/asl.t/Rdhrc.asl
diff --git a/...ortype/3_9_5-Domainofabitvector/Rdhzt.asl → asllib/tests/asl.t/Rdhzt.asl b/...ortype/3_9_5-Domainofabitvector/Rdhzt.asl → asllib/tests/asl.t/Rdhzt.asl
diff --git a/...s/4_4_1-Initializationofglobals/Rdjmc.asl → asllib/tests/asl.t/Rdjmc.asl b/...s/4_4_1-Initializationofglobals/Rdjmc.asl → asllib/tests/asl.t/Rdjmc.asl
diff --git a/...ortype/3_9_5-Domainofabitvector/Rdkgq.asl → asllib/tests/asl.t/Rdkgq.asl b/...ortype/3_9_5-Domainofabitvector/Rdkgq.asl → asllib/tests/asl.t/Rdkgq.asl
diff --git a/...s/4_4_1-Initializationofglobals/Rdlxt.asl → asllib/tests/asl.t/Rdlxt.asl b/...s/4_4_1-Initializationofglobals/Rdlxt.asl → asllib/tests/asl.t/Rdlxt.asl
diff --git a/...3-Builtintypes/3_12-Recordtypes/Rdlxv.asl → asllib/tests/asl.t/Rdlxv.asl b/...3-Builtintypes/3_12-Recordtypes/Rdlxv.asl → asllib/tests/asl.t/Rdlxv.asl
diff --git a/...meenviroment/10_1-Dynamicerrors/Rdpzk.asl → asllib/tests/asl.t/Rdpzk.asl b/...meenviroment/10_1-Dynamicerrors/Rdpzk.asl → asllib/tests/asl.t/Rdpzk.asl
diff --git a/...licesandinvokinggetterfunctions/Rdvvq.asl → asllib/tests/asl.t/Rdvvq.asl b/...licesandinvokinggetterfunctions/Rdvvq.asl → asllib/tests/asl.t/Rdvvq.asl
diff --git a/...iltintypes/3_7-Enumerationtypes/Rdwsp.asl → asllib/tests/asl.t/Rdwsp.asl b/...iltintypes/3_7-Enumerationtypes/Rdwsp.asl → asllib/tests/asl.t/Rdwsp.asl
diff --git a/...3-Builtintypes/3_12-Recordtypes/Rdxwn.asl → asllib/tests/asl.t/Rdxwn.asl b/...3-Builtintypes/3_12-Recordtypes/Rdxwn.asl → asllib/tests/asl.t/Rdxwn.asl
diff --git a/...ionsyntax/5_5-RecordExpressions/Rdyqz.asl → asllib/tests/asl.t/Rdyqz.asl b/...ionsyntax/5_5-RecordExpressions/Rdyqz.asl → asllib/tests/asl.t/Rdyqz.asl
diff --git a/...traintofabitvectorconcatenation/Rfhyz.asl → asllib/tests/asl.t/Rfhyz.asl b/...traintofabitvectorconcatenation/Rfhyz.asl → asllib/tests/asl.t/Rfhyz.asl
diff --git a/...s/4_4_1-Initializationofglobals/Rfkgp.asl → asllib/tests/asl.t/Rfkgp.asl b/...s/4_4_1-Initializationofglobals/Rfkgp.asl → asllib/tests/asl.t/Rfkgp.asl
diff --git a/...syntax/6_2-Localstorageelements/Rfmlk.asl → asllib/tests/asl.t/Rfmlk.asl b/...syntax/6_2-Localstorageelements/Rfmlk.asl → asllib/tests/asl.t/Rfmlk.asl
diff --git a/...ontypes/7_3_2-Type-Satisfaction/Rfmxk.asl → asllib/tests/asl.t/Rfmxk.asl b/...ontypes/7_3_2-Type-Satisfaction/Rfmxk.asl → asllib/tests/asl.t/Rfmxk.asl
diff --git a/...s/4_4_1-Initializationofglobals/Rfpmt.asl → asllib/tests/asl.t/Rfpmt.asl b/...s/4_4_1-Initializationofglobals/Rfpmt.asl → asllib/tests/asl.t/Rfpmt.asl
diff --git a/...ns/4_5_2-Functionsandprocedures/Rfrdx.asl → asllib/tests/asl.t/Rfrdx.asl b/...ns/4_5_2-Functionsandprocedures/Rfrdx.asl → asllib/tests/asl.t/Rfrdx.asl