More tests.
authorJarl Gullberg <jarl.gullberg@gmail.com>
Thu, 1 Jun 2017 14:05:02 +0000 (16:05 +0200)
committerJarl Gullberg <jarl.gullberg@gmail.com>
Thu, 1 Jun 2017 14:05:02 +0000 (16:05 +0200)
tests/OpenTK.Tests/Vector3Tests.fs

index b4ace2f..8ac1b4a 100644 (file)
@@ -4,6 +4,7 @@ open Xunit
 open FsCheck
 open FsCheck.Xunit
 open System
+open System.Runtime.InteropServices
 open OpenTK
 
 module Vector3 = 
@@ -678,4 +679,14 @@ module Vector3 =
         let ``Unit one is correct``  = 
             let unitOne = Vector3((float32)1, (float32)1, (float32)1)
             
-            Assert.Equal(Vector3.One, unitOne)
\ No newline at end of file
+            Assert.Equal(Vector3.One, unitOne)
+            
+    [<Properties(Arbitrary = [| typeof<OpenTKGen> |])>]
+    module Serialization = 
+        //
+        [<Property>]
+        let ``The absolute size of a Vector3 is always the size of its components`` (v : Vector3) = 
+            let expectedSize = sizeof<float32> * 3
+            
+            Assert.Equal(expectedSize, Vector3.SizeInBytes)
+            Assert.Equal(expectedSize, Marshal.SizeOf(Vector3()))
\ No newline at end of file