improved tests

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7893 3260e6d1-4efc-4170-b0a7-36055960796d
2008-05-07 07:20:22 +00:00 · 2008-05-07 07:20:22 +00:00 · 1665f14711
parent 778a140064
commit 1665f14711
1 changed files with 1 additions and 1 deletions
--- a/su4sml/src/wfcpog/test-data.sml
+++ b/su4sml/src/wfcpog/test-data.sml
@ -115,5 +115,5 @@ val pos = [po_cstr]
 val wfs = [wfc_vis]
 val pos = []
 *)
-val wfs = [wfc_vis_class,wfc_vis_inheritance,wfc_vis_runtime,wfc_vis_design_by_contract]
+val wfs = [wfc_vis_class,wfc_vis_inheritance,wfc_vis_runtime,wfc_vis_design_by_contract,wfc_vis]
 val pos = []