Empty JSObject.

Empty maybe unchecked dictionary.

Generates an empty container.

Generates list of disk indices.

Generates a list of node names.

Generates a list of node names in non-empty string type.

Gets a node name in non-empty type.

Gets a name (non-fqdn) in non-empty type.

Gets a list of names (non-fqdn) in non-empty type.

Returns a list of non-empty fields.

Generate a 3-byte MAC prefix.

JSObject of arbitrary data.

Since JSValue does not implement Arbitrary, I'll simply generate (String, String) objects.

JSObject of arbitrary secret data.

Small helper to check for a failed JSON deserialisation

Check that opcode serialization is idempotent.

Check that Python and Haskell defined the same opcode list.

Custom HUnit test case that forks a Python process and checks correspondence between Haskell-generated OpCodes and their Python decoded, validated and re-encoded version.

Note that we have a strange beast here: since launching Python is expensive, we don't do this via a usual QuickProperty, since that's slow (I've tested it, and it's indeed quite slow). Rather, we use a single HUnit assertion, and in it we manually use QuickCheck to generate 500 opcodes times the number of defined opcodes, which then we pass in bulk to Python. The drawbacks to this method are two fold: we cannot control the number of generated opcodes, since HUnit assertions don't get access to the test options, and for the same reason we can't run a repeatable seed. We should probably find a better way to do this, for example by having a separately-launched Python process (if not running the tests would be skipped).

Custom HUnit test case that forks a Python process and checks correspondence between Haskell OpCodes fields and their Python equivalent.

Checks that setOpComment works correctly.

Tests wrong (negative) disk index.

Tests a few invalid readRecreateDisks cases.

Tests a few invalid readDdmOldChanges cases.

Tests a few invalid readExportTarget cases.