sismic

sismic copied to clipboard

Error in visualizing `tests/yaml/deep_history.yaml`

5

Firstly, thanks a lot for this tool. I accidentally discovered it, and I am really glad I found it. I am new to sismic. I was trying to visualize `tests/yaml/deep_history.yaml`,...

rajivr

Persisting / restoring interpreter state

20

Hi, I'm looking for a mechanism to persist / restore interpreter state. My current approach is to persist `Interpreter._configuration` to database. To restore it I instantiate `Interpreter` wit a restored...

sbidoul

This branch is a first attempt to create a kind of temporal logic in Python, that can be used to automatically generate property statecharts from a "Python formula".

AlexandreDecan

This branch implements some support to automatically get some information from the Python code contained in a statechart, such as the events that can be sent, the attributes that are...

AlexandreDecan

This branch provides (for an old version of Sismic) a very basic GUI (written using Tkinter) that can be used to orchestrate a statechart.

AlexandreDecan

Branch js-code - Javascript code evaluator

1

AlexandreDecan

Branch sequentialContracts - Sequential contracts

1

AlexandreDecan

test_bdd failures when behave is bumped to 1.2.7.dev6

6

``` ============================= test session starts ============================== platform darwin -- Python 3.12.8, pytest-8.3.3, pluggy-1.5.0 rootdir: /private/tmp/nix-build-python3.12-sismic-1.6.8.drv-0/source plugins: mock-3.14.0 collected 345 items / 12 deselected / 333 selected tests/test_bdd.py ......FFFFF................... [ 9%]...

booxter