alice-physics 2.2.0

Deterministic physics engine: 128-bit fixed-point rigid bodies with bit-exact, replayable results, typed observation and rollback for search and planning, plus FEM, CFD and 3D-print analysis modules
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70

"""Oracles of scripts/fuzz_targets.py.

run: python3 scripts/test_fuzz_targets.py
"""
from __future__ import annotations

import importlib.util
import json
import os
import tempfile
import unittest

HERE = os.path.dirname(os.path.abspath(__file__))
spec = importlib.util.spec_from_file_location("fuzz_targets", os.path.join(HERE, "fuzz_targets.py"))
ft = importlib.util.module_from_spec(spec)
spec.loader.exec_module(ft)


def tree(names: list[str], missing: tuple[str, ...] = ()) -> str:
    root = tempfile.mkdtemp()
    os.makedirs(os.path.join(root, "fuzz", "fuzz_targets"))
    cargo = '[package]\nname = "f"\nversion = "0.0.0"\n\n[dependencies]\nx = "1"\n'
    for n in names:
        cargo += f'\n[[bin]]\nname = "{n}"\npath = "fuzz_targets/{n}.rs"\ntest = false\n'
        if n not in missing:
            open(os.path.join(root, "fuzz", "fuzz_targets", f"{n}.rs"), "w").close()
    open(os.path.join(root, "fuzz", "Cargo.toml"), "w").write(cargo)
    return root


class FuzzTargets(unittest.TestCase):
    def test_every_bin_is_found(self):
        root = tree(ft.CORE + ["fuzz_extra"])
        self.assertEqual([n for n, _ in ft.targets(root)], ft.CORE + ["fuzz_extra"])
        self.assertEqual(ft.check(root), [])

    def test_a_new_bin_is_run_nightly_but_not_on_push(self):
        root = tree(ft.CORE + ["fuzz_tenth"])
        self.assertIn("fuzz_tenth", ft.matrix(root, "schedule"))
        self.assertIn("fuzz_tenth", ft.matrix(root, "workflow_dispatch"))
        self.assertEqual(ft.matrix(root, "push"), ft.CORE)
        self.assertEqual(ft.matrix(root, "pull_request"), ft.CORE)

    def test_no_bin_is_an_error(self):
        self.assertTrue(any("no [[bin]]" in e for e in ft.check(tree([]))))

    def test_a_missing_target_file_is_an_error(self):
        errors = ft.check(tree(ft.CORE + ["fuzz_gone"], missing=("fuzz_gone",)))
        self.assertTrue(any("fuzz_gone" in e and "does not exist" in e for e in errors), errors)

    def test_a_renamed_core_target_is_an_error(self):
        names = [n for n in ft.CORE if n != "fuzz_step"] + ["fuzz_step2"]
        self.assertTrue(any("core fuzz target fuzz_step " in e for e in ft.check(tree(names))))

    def test_a_source_file_without_a_bin_is_an_error(self):
        root = tree(ft.CORE)
        open(os.path.join(root, "fuzz", "fuzz_targets", "fuzz_orphan.rs"), "w").close()
        errors = ft.check(root)
        self.assertTrue(any("fuzz_orphan.rs has no [[bin]]" in e for e in errors), errors)

    def test_this_repository(self):
        root = os.path.dirname(HERE)
        self.assertEqual(ft.check(root), [])
        self.assertEqual(len(ft.matrix(root, "schedule")), len(ft.targets(root)))
        self.assertGreaterEqual(len(ft.targets(root)), 9)
        self.assertEqual(json.loads(json.dumps(ft.matrix(root, "push"))), ft.CORE)


if __name__ == "__main__":
    unittest.main()