|
|
|
@ -9,6 +9,11 @@
|
|
|
|
|
open Helpers |
|
|
|
|
open InputGeneration |
|
|
|
|
|
|
|
|
|
(* Note: Do the null tests need to remain? |
|
|
|
|
=============================================================================================================== |
|
|
|
|
These tests do not test anything beyond the unit tests. |
|
|
|
|
Considering deleting the null tests... |
|
|
|
|
=============================================================================================================== |
|
|
|
|
module ``Null Tests`` = |
|
|
|
|
|
|
|
|
|
[<Property>] |
|
|
|
@ -83,6 +88,7 @@
|
|
|
|
|
|> Async.RunSynchronously |
|
|
|
|
let results = Assert.NotNull (test()) |
|
|
|
|
Check.Quick results |
|
|
|
|
*) |
|
|
|
|
|
|
|
|
|
module ``Contents Test`` = |
|
|
|
|
|
|
|
|
|