HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7782 3260e6d1-4efc-4170-b0a7-36055960796d

This commit is contained in:
Manuel Krucker 2008-04-28 13:02:07 +00:00
parent 91262dd326
commit 9b5229f61b
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
su4sml/src/wfcpog/test-data.sml
View File

@ -89,4 +89,4 @@ val pos = [rfm_SC_pog]
*)
val wfs = []
val pos = [po_cmd,po_quy]
val pos = [po_cm,po_sm]

8
su4sml/src/wfcpog/test-suite.sml
View File

@ -46,16 +46,16 @@ val testcase =
val testcases = [
{
name = "Stack Manuel",
name = "stack_manuel",
uml = prefix^"stack_manu/stack.zargo",
ocl = prefix^"stack_manu/stack.ocl"
},{
name = "Stack",
name = "stack",
uml = prefix^"stack/stack.zargo",
ocl = prefix^"stack/stack.ocl"
},
{
name = "Company",
name = "company",
uml = prefix^"company/company.zargo",
ocl = prefix^"company/company.ocl"
}:testcase,
@ -75,7 +75,7 @@ val testcases = [
ocl = prefix^"isp/isp.ocl"
}:testcase,*)
{
name = "Royals and Loyals",
name = "royals_and_loyals",
uml = prefix^"royals_and_loyals/royals_and_loyals.zargo",
ocl = prefix^"royals_and_loyals/royals_and_loyals.ocl"
}:testcase,