fix README example (#5284)

* fixed README example

* README test

* changed py -> python markdown code flags in REAME
This commit is contained in:
SnakeOnex
2024-07-04 17:15:07 +02:00
committed by GitHub
parent 2778b6046c
commit 8c03816ae9
2 changed files with 11 additions and 8 deletions

View File

@@ -135,6 +135,8 @@ jobs:
python docs/abstractions2.py
- name: Test Quickstart
run: awk '/```python/{flag=1;next}/```/{flag=0}flag' docs/quickstart.md > quickstart.py && PYTHONPATH=. python quickstart.py
- name: Test README
run: awk '/```python/{flag=1;next}/```/{flag=0}flag' README.md > README.py && PYTHONPATH=. python README.py
- name: Fuzz Test symbolic
run: python test/external/fuzz_symbolic.py
- name: Fuzz Test shapetracker