ms_core/system_id_test.v


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

module ms_core

fn test_generate_system_id() {
	id := get_new_system_id() or {
		assert false, 'failed to generate SystemId: ${err}'
		return
	}

	assert id.base.len == 16
}

fn test_system_ids_are_unique() {
	id1 := get_new_system_id() or {
		assert false, 'failed to generate first SystemId: ${err}'
		return
	}

	id2 := get_new_system_id() or {
		assert false, 'failed to generate second SystemId: ${err}'
		return
	}

	assert id1.base != id2.base
}