summaryrefslogtreecommitdiff
path: root/BCT/Samples/Strings/StringsExample.cs
diff options
context:
space:
mode:
Diffstat (limited to 'BCT/Samples/Strings/StringsExample.cs')
-rw-r--r--BCT/Samples/Strings/StringsExample.cs20
1 files changed, 0 insertions, 20 deletions
diff --git a/BCT/Samples/Strings/StringsExample.cs b/BCT/Samples/Strings/StringsExample.cs
deleted file mode 100644
index a04fc9a0..00000000
--- a/BCT/Samples/Strings/StringsExample.cs
+++ /dev/null
@@ -1,20 +0,0 @@
-using System;
-using System.Collections.Generic;
-using System.Diagnostics.Contracts;
-using System.Linq;
-using System.Text;
-
-/* Example of string functionality needed by Poirot: concatenation and equality */
-class StringsExample
-{
- public static void Main()
- {
- string foo = "delicious";
- string bar = "cake";
- Contract.Assert(!foo.Equals(bar));
- string foo_bar = foo + bar;
- Contract.Assert(foo_bar.Equals("deliciouscake"));
- string delish = "delicious";
- Contract.Assert(foo.Equals(delish));
- }
-} \ No newline at end of file