Index: tol_tests/tol/Bugzilla/bug_000584/test.tol
===================================================================
--- tol_tests/tol/Bugzilla/bug_000584/test.tol	(revision 2604b317aee6e35fa7eea787b53ce0e9fccea0ad)
+++ tol_tests/tol/Bugzilla/bug_000584/test.tol	(revision 2604b317aee6e35fa7eea787b53ce0e9fccea0ad)
@@ -0,0 +1,47 @@
+/* -*- mode: C++ -*- */
+//////////////////////////////////////////////////////////////////////////////
+// FILE   : test.tol
+// PURPOSE: test for a resolved bug
+//////////////////////////////////////////////////////////////////////////////
+
+//Sets the bugzilla identifier number, your e-mail and the bugŽs summary and you e-mail
+  Real bugNum_ = 584;
+  Text email_ = "vdebuen@tol-project.org"; 
+  Text summary_ = "Combination error";
+  Text link_ = GetTolBugzillaLink(bugNum_);
+
+//Write here the initial test TOL code if needed
+  Real numErr0 = Copy(NError);
+
+  Set a = Range(1,3,1);
+  Set b = EvalSet(a, Set(Real r){
+      Combination(a, r)
+  });
+   
+  Set ok.all = [[
+    Real ok.0 = Card(b)==3;
+    Real ok.1 = Card(b[1])==3;
+    Real ok.2 = Card(b[2])==3;
+    Real ok.3 = Card(b[3])==1
+  ]];
+
+  Real numErr1 = Copy(NError);
+
+//Extented information about test behaviour
+  Set partialResults_ = ok.all <<
+  [[
+    numErr0, numErr1
+  ]];
+
+//This is a messure of the success of the test 
+  Real quality_ = And(numErr1 == numErr0, Group("And",ok.all));
+
+//Return the results 
+  Set resultStr_ = strTestStatus(summary_, link_, quality_,
+                    "Partial results = "<<partialResults_,
+                    "NO DBServerType", "NO DBServerHost", "NO DBAlias",
+                    email_);
+  WriteLn(""<<resultStr_);
+  resultStr_;
+
+/* */