unit TestedUnitParserTest_1;
interface
uses
TestFrameWork,
XPTestedUnitParser,
Classes; // TStream;
function GlobalFunction1: integer;
procedure GlobalProcedure1;
type
This example uses procedure `reservierung(Fahrt, Bahnhof, Bahnhof})'.
It shows how ASSL can assist in finding difficult system states. Suppose the
user is not able to add a reservation so that the n
SIMPLE CREATION OF OBJECTS AND LINKS
Adds 10 wagons to a train.
This example shows how objects and links can be added to a
given state by calling the procedure `waggonkette(Zug,Integer)'.
{测试常表达式优化}
program aa
type t1=integer;
var t1 v1,v2;
integer a,b,c;
char o1;
procedure p(integer x; var integer y);
begin
x:=x+1 ;
y:=y+1
end
begin
v1:=10;
{ 循环不变式外提优化的测试程序,有过程调用情形}
program pp
var integer i,n,m,j,k;
array [1..10] of integer a;
procedure q();
begin
write(100)
end
begin
i:=0;
j:=0;
k:=0;
while k
{冒泡排序}
{输入m,表示要排序的数的个数；接着输入m个整数；
输出从小到大排序后的结果}
program p
var integer i,j,num;
array[1..20] of integer a;
procedure q(integer num);
var integer i,j,k;
integer t;
begin
{递归调用测试}
{功能：对于输入n,输出n的阶乘}
program sd
var integer s;
integer t;
procedure factor(integer n;var integer m);
var integer w;
begin
if n=0
then m:=1
else
factor(n-1,w);
m:=n*w
fi
en
