/** * Copyright 2014 (c) Anna Schumaker */ #ifdef CONFIG_TEST #include static unsigned int _random_value = 0; void _seed_random(unsigned int n) { _random_value = n; } unsigned int _pick_random() { return ++_random_value; } #endif /* CONFIG_TEST */