21 build-system = [ setuptools ];
23 src = fetchFromGitHub {
24 owner = "AlexandreDecan";
26 rev = "refs/tags/${version}";
27 hash = "sha256-EP78Wc2f6AKqbGBW8wVP0wogEbTo0ndjlRRd+fsUvCo=";
30 pythonRelaxDeps = [ "behave" ];
43 pythonImportsCheck = [ "sismic" ];
45 pytestFlagsArray = [ "tests/" ];
48 # Time related tests, might lead to flaky tests on slow/busy machines
53 changelog = "https://github.com/AlexandreDecan/sismic/releases/tag/${version}";
54 description = "Sismic Interactive Statechart Model Interpreter and Checker";
55 homepage = "https://github.com/AlexandreDecan/sismic";
56 license = lib.licenses.lgpl3Only;
57 maintainers = with lib.maintainers; [ drupol ];