diff options
| author | funemy | 2022-10-25 07:16:19 +0000 |
|---|---|---|
| committer | funemy | 2022-10-25 07:16:19 +0000 |
| commit | f6cbd54537b48f6815bf518393c5bc7ac6b2a7bd (patch) | |
| tree | 97c6fec1c34c68c9f86ba7283e8ebdac8f7c33af /entries/funemy/symbolic | |
| parent | 998ef837b43203319397f191036a97a5adc42220 (diff) | |
minor
Diffstat (limited to 'entries/funemy/symbolic')
| -rw-r--r-- | entries/funemy/symbolic/phib.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/entries/funemy/symbolic/phib.py b/entries/funemy/symbolic/phib.py index 30d68a8..c6fb23e 100644 --- a/entries/funemy/symbolic/phib.py +++ b/entries/funemy/symbolic/phib.py @@ -4,7 +4,7 @@ def phib(xs: List[int]) -> bool: """ Instructions: 1. `pip install crosshair-tool` - 2. modify the precondition `pre` to control the length of your fib sequence + 2. modify the precondition `pre` to control the length of your fib sequence 3. run `crosshair check phib.py` in your terminal pre: len(xs) >= 10 |