2019-02-05 02:44:07 +02:00
|
|
|
-cases [Valid] 'inter/Tests/Valid'
|
|
|
|
-cases [Invalid] 'inter/Tests/Invalid'
|
|
|
|
-cases [Generations] 'inter/Tests/Generations'
|
|
|
|
-cases [RCC] 'inter/Tests/RCC'
|
|
|
|
-cases [PLM] 'inter/Tests/PLM'
|
|
|
|
-cases [Assimilate] 'inter/Tests/Assimilate'
|
2019-05-01 00:59:36 +03:00
|
|
|
-cases [Units] 'inter/Tests/Units'
|
2019-07-13 13:03:54 +03:00
|
|
|
-cases [ERL] 'inter/Tests/ERL'
|
2019-02-05 02:44:07 +02:00
|
|
|
|
|
|
|
-recipe [Valid]
|
|
|
|
|
|
|
|
set: $O = $PATH/$CASE.intert
|
|
|
|
set: $A = $PATH/_Textual/$CASE.intert
|
|
|
|
set: $B = $PATH/_Binary/$CASE.interb
|
|
|
|
set: $T = $PATH/_Console/$CASE.txt
|
|
|
|
|
2019-02-09 12:26:44 +02:00
|
|
|
mkdir: $PATH/_Textual
|
|
|
|
mkdir: $PATH/_Binary
|
|
|
|
mkdir: $PATH/_Console
|
|
|
|
|
2019-02-05 02:44:07 +02:00
|
|
|
step: inter/Tangled/inter $O -binary $B >$T 2>&1
|
|
|
|
or: 'produced errors in inter' $T
|
|
|
|
|
|
|
|
step: inter/Tangled/inter $B -textual $A >$T 2>&1
|
|
|
|
or: 'produced errors in inter' $T
|
|
|
|
|
|
|
|
show: $A
|
|
|
|
|
|
|
|
match text: $A $O
|
|
|
|
or: 'produced incorrect output'
|
|
|
|
|
|
|
|
-end
|
|
|
|
|
|
|
|
-recipe [Invalid]
|
|
|
|
|
|
|
|
set: $O = $PATH/$CASE.intert
|
|
|
|
set: $A = $PATH/_Results_Actual/$CASE.txt
|
|
|
|
set: $I = $PATH/_Results_Ideal/$CASE.txt
|
|
|
|
|
2019-02-09 12:26:44 +02:00
|
|
|
mkdir: $PATH/_Results_Actual
|
|
|
|
mkdir: $PATH/_Results_Ideal
|
|
|
|
|
2019-02-05 02:44:07 +02:00
|
|
|
fail step: inter/Tangled/inter $O >$A 2>&1
|
|
|
|
or: 'failed to produce error message' $A
|
|
|
|
show: $A
|
|
|
|
exists: $I
|
|
|
|
or: 'produced error(s), but no ideal transcript existed'
|
|
|
|
match text: $A $I
|
|
|
|
or: 'produced the wrong error message(s)'
|
|
|
|
|
|
|
|
-end
|
|
|
|
|
|
|
|
-recipe [Generations]
|
|
|
|
|
|
|
|
set: $O = $PATH/$CASE.intert
|
|
|
|
set: $A = $PATH/_Results_Actual/$CASE.txt
|
|
|
|
set: $I = $PATH/_Results_Ideal/$CASE.txt
|
|
|
|
set: $T = $PATH/_Console/$CASE.txt
|
|
|
|
|
2019-02-09 12:26:44 +02:00
|
|
|
mkdir: $PATH/_Results_Actual
|
|
|
|
mkdir: $PATH/_Results_Ideal
|
|
|
|
mkdir: $PATH/_Console
|
|
|
|
|
2019-06-26 19:27:54 +03:00
|
|
|
step: inter/Tangled/inter $O -inter 'parse-linked-matter, resolve-conditional-compilation, assimilate, generate: inform6 -> $A' >$T 2>&1
|
2019-02-05 02:44:07 +02:00
|
|
|
or: 'failed to produce output' $T
|
|
|
|
|
|
|
|
show: $A
|
|
|
|
|
|
|
|
match text: $A $I
|
|
|
|
or: 'produced incorrect output'
|
|
|
|
|
|
|
|
-end
|
|
|
|
|
|
|
|
-recipe [RCC]
|
|
|
|
|
|
|
|
set: $O = $PATH/$CASE.intert
|
|
|
|
set: $A = $PATH/_Results_Actual/$CASE.txt
|
|
|
|
set: $I = $PATH/_Results_Ideal/$CASE.txt
|
|
|
|
set: $T = $PATH/_Console/$CASE.txt
|
|
|
|
|
2019-02-09 12:26:44 +02:00
|
|
|
mkdir: $PATH/_Results_Actual
|
|
|
|
mkdir: $PATH/_Results_Ideal
|
|
|
|
mkdir: $PATH/_Console
|
|
|
|
|
2019-06-26 19:27:54 +03:00
|
|
|
step: inter/Tangled/inter $O -inter 'parse-linked-matter, resolve-conditional-compilation, generate: text ->$A' >$T 2>&1
|
2019-02-05 02:44:07 +02:00
|
|
|
or: 'failed to produce output' $T
|
|
|
|
|
|
|
|
show: $A
|
|
|
|
|
|
|
|
match text: $A $I
|
|
|
|
or: 'produced incorrect output'
|
|
|
|
|
|
|
|
-end
|
|
|
|
|
|
|
|
-recipe [PLM]
|
|
|
|
|
|
|
|
set: $O = $PATH/$CASE.intert
|
|
|
|
set: $A = $PATH/_Results_Actual/$CASE.txt
|
|
|
|
set: $I = $PATH/_Results_Ideal/$CASE.txt
|
|
|
|
set: $T = $PATH/_Console/$CASE.txt
|
|
|
|
|
2019-02-09 12:26:44 +02:00
|
|
|
mkdir: $PATH/_Results_Actual
|
|
|
|
mkdir: $PATH/_Results_Ideal
|
|
|
|
mkdir: $PATH/_Console
|
|
|
|
|
2019-06-26 19:27:54 +03:00
|
|
|
step: inter/Tangled/inter $O -inter 'parse-linked-matter, generate: text ->$A' >$T 2>&1
|
2019-02-05 02:44:07 +02:00
|
|
|
or: 'failed to produce output' $T
|
|
|
|
|
|
|
|
show: $A
|
|
|
|
|
|
|
|
match text: $A $I
|
|
|
|
or: 'produced incorrect output'
|
|
|
|
|
|
|
|
-end
|
|
|
|
|
2019-07-13 13:03:54 +03:00
|
|
|
-recipe [ERL]
|
|
|
|
|
|
|
|
set: $O = $PATH/$CASE.intert
|
|
|
|
set: $A = $PATH/_Results_Actual/$CASE.txt
|
|
|
|
set: $I = $PATH/_Results_Ideal/$CASE.txt
|
|
|
|
set: $T = $PATH/_Console/$CASE.txt
|
|
|
|
|
|
|
|
mkdir: $PATH/_Results_Actual
|
|
|
|
mkdir: $PATH/_Results_Ideal
|
|
|
|
mkdir: $PATH/_Console
|
|
|
|
|
|
|
|
step: inter/Tangled/inter $O -inter 'eliminate-redundant-labels, generate: text ->$A' >$T 2>&1
|
|
|
|
or: 'failed to produce output' $T
|
|
|
|
|
|
|
|
show: $A
|
|
|
|
|
|
|
|
match text: $A $I
|
|
|
|
or: 'produced incorrect output'
|
|
|
|
|
|
|
|
-end
|
|
|
|
|
2019-02-05 02:44:07 +02:00
|
|
|
-recipe [Assimilate]
|
|
|
|
|
|
|
|
set: $O = $PATH/$CASE.intert
|
|
|
|
set: $A = $PATH/_Results_Actual/$CASE.txt
|
|
|
|
set: $I = $PATH/_Results_Ideal/$CASE.txt
|
|
|
|
set: $T = $PATH/_Console/$CASE.txt
|
|
|
|
|
2019-02-09 12:26:44 +02:00
|
|
|
mkdir: $PATH/_Results_Actual
|
|
|
|
mkdir: $PATH/_Results_Ideal
|
|
|
|
mkdir: $PATH/_Console
|
|
|
|
|
2019-06-26 19:27:54 +03:00
|
|
|
step: inter/Tangled/inter $O -inter 'parse-linked-matter, assimilate, generate: text ->$A' >$T 2>&1
|
2019-02-05 02:44:07 +02:00
|
|
|
or: 'failed to produce output' $T
|
|
|
|
|
|
|
|
show: $A
|
|
|
|
|
|
|
|
match text: $A $I
|
|
|
|
or: 'produced incorrect output'
|
|
|
|
|
|
|
|
-end
|
2019-05-01 00:59:36 +03:00
|
|
|
|
|
|
|
-recipe [Units]
|
|
|
|
|
|
|
|
set: $O = $PATH/$CASE.txt
|
|
|
|
set: $A = $PATH/_Results_Actual/$CASE.txt
|
|
|
|
set: $I = $PATH/_Results_Ideal/$CASE.txt
|
|
|
|
|
|
|
|
mkdir: $PATH/_Results_Actual
|
|
|
|
mkdir: $PATH/_Results_Ideal
|
|
|
|
mkdir: $PATH/_Console
|
|
|
|
|
|
|
|
step: inter/Tangled/inter -test $O >$A 2>&1
|
|
|
|
or: 'failed to produce output' $A
|
|
|
|
|
|
|
|
show: $A
|
|
|
|
|
|
|
|
match text: $A $I
|
|
|
|
or: 'produced incorrect output'
|
|
|
|
|
|
|
|
-end
|